1960 search results - page 101 / 392 » The Logic of Large Enough |
ACL
2012
11 years 11 months ago
2012
Most information extraction (IE) systems identify facts that are explicitly stated in text. However, in natural language, some facts are implicit, and identifying them requires ā...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
Verification of system designs continues to be a major challenge today. Simulation remains the primary tool for making sure that implementations perform as they should. We present...
ICCAD
2006
IEEE
14 years 6 months ago
2006
IEEE
This work describes a new mapping technique, RAM-MAP, that identiļ¬es parts of circuits that can be eļ¬ciently mapped into the synchronous embedded memories found on ļ¬eld prog...
LOPSTR
2009
Springer
14 years 3 months ago
2009
Springer
Answer Set Programming (ASP) is a powerful paradigm of logic programming for non-monotonic reasoning. However, the restriction of āgrounded range-restricted function-free normal ...
FUZZIEEE
2007
IEEE
14 years 3 months ago
2007
IEEE
ā The type-2 Fuzzy Logic Controller (FLC) has started to emerge as a promising control mechanism for autonomous mobile robots navigating in real world environments. This is becau...