2611 search results - page 121 / 523 » A Logic for Concepts and Similarity |
129
click to vote
EH
2003
IEEE
15 years 11 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...
204
click to vote
SIGCSE
2002
ACM
15 years 6 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...
174
click to vote
CSL
2005
Springer
15 years 12 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...
144
click to vote
TABLEAUX
2005
Springer
15 years 11 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...
175
click to vote
IADIS
2004
15 years 7 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...