4178 search results - page 718 / 836 » Similarity Patterns in Language |
171
click to vote
JELIA
2004
Springer
16 years 5 days ago
2004
Springer
The Nelson-Oppen combination method combines decision procedures for theories satisfying certain conditions into a decision procedure for their union. While the method is known to ...
200
click to vote
ISQED
2003
IEEE
16 years 2 days ago
2003
IEEE
The nature of IC design has is necessarily evolving to a more data-centric design flow in which EDA tools share a common information in a design database without the negative cost...
181
click to vote
WISE
2003
Springer
16 years 2 days ago
2003
Springer
At the heart of today’s information-explosion problems are issues involving semantics, mutual understanding, concept matching, and interoperability. Ontologies and the Semantic ...
165
click to vote
ICLP
2003
Springer
16 years 17 hour ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
178
click to vote
ICLP
2003
Springer
16 years 17 hour ago
2003
Springer
Abstract The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL) for expressing process specifi...