×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [compact representations]
The Evolution of Symbolic Model Checking Ken McMillan Cadence Berkeley Labs
224 views
1 From WordNet, to EuroWordNet, to the Global Wordnet Grid: anchoring languages to universal meaning Piek Vossen VU University Amsterdam
227 views
Symmetry Definitions for Constraint Satisfaction Problems Dave Cohen, Peter Jeavons, Chris Jefferson, Karen Petrie and Barbara Smith
215 views
Efficient Viterbi algorithms for lexical tree based models
649 views
Topic 8 (fitting)
23 views
Commonsense Ai
30 views
Guest lecture, Language Engineering Applications, February, 26th 2009, Leuven 1 From WordNet, to EuroWordNet, to the Global Wordnet Grid: anchoring languages
213 views
Slide 1 Reasoning Under Uncertainty: More on BNets structure and construction Jim Little Nov 10 2014 (Textbook 6.3)
218 views
Metanetworks 2005 Metanetworks Inc. 647 N. Santa Cruz Suite E, Los Gatos, CA 95030 Voice: (408) 399-2284 Fax (408) 356-9446 1-10 Gbps programmable IDS/IPS
214 views
CPSC 322, Lecture 28Slide 1 Reasoning Under Uncertainty: More on BNets structure and construction Computer Science cpsc322, Lecture 28 (Textbook Chpt 6.3)
214 views
1 BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving Bart Selman Cornell University Joint work with Henry Kautz AT&T Labs
214 views
Aerial Video Surveillance and Exploitation Roland Miezianko CIS 750 - Video Processing and Mining Prof. Latecki
216 views
Next >