2611 search results - page 257 / 523 » A Logic for Concepts and Similarity |
177
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Church's Higher Order Logic is a basis for proof assistants -- HOL and PVS. Church's logic has a simple set-theoretic semantics, making it trustworthy and extensible. We ...
146
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
162
click to vote
CP
2007
Springer
16 years 23 days ago
2007
Springer
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
173
click to vote
SIGCSE
2005
ACM
16 years 5 days ago
2005
ACM
Courses in Relational Databases largely use a domain-specific design approach different from that used in the rest of the curriculum. Use of the Unified Process, UML, and Design P...
190
click to vote
PADS
2004
ACM
16 years 23 hour ago
2004
ACM
In this work we focus on a new technique for making cloning of parallel simulations more efficient. Cloning provides a means for running multiple similar simulations in parallel ...