540 search results - page 38 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
PRDC
2007
IEEE
15 years 6 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
91
Voted
ICES
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
122
click to vote
COMPUTER
2007
15 years 13 days ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
136
Voted
CVPR
2012
IEEE
13 years 2 months ago
2012
IEEE
Fine-grained categorization refers to the task of classifying objects that belong to the same basic-level class (e.g. different bird species) and share similar shape or visual app...
106
click to vote
CADE
2003
Springer
16 years 23 days ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...