2611 search results - page 121 / 523 » A Logic for Concepts and Similarity |
EH
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes a technique for evolving similar solutions to similar configuration design problems. Using the configuration design of combination logic circuits as a testb...
140
click to vote
SIGCSE
2002
ACM
15 years 1 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
122
click to vote
CSL
2005
Springer
15 years 7 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
We present a sound and complete tableau calculus for the class of regular grammar logics. Our tableau rules use a special feature called automaton-labelled formulae, which are simi...
104
click to vote
IADIS
2004
15 years 3 months ago
2004
Currently providing such features in mobile applications as the sending of lower-bandwidth images when a client device is in a low-bandwidth access area, the business logic to dis...