2611 search results - page 258 / 523 » A Logic for Concepts and Similarity |
167
click to vote
JELIA
2004
Springer
15 years 12 months 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 ...
182
click to vote
COCO
2003
Springer
15 years 11 months ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...
199
click to vote
WEBDB
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, we propose to use database technology to improve performance of web proxy servers. We view the cache at a proxy server as a web warehouse with data organized in a h...
217
click to vote
FLOPS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper describes how high level implementations of (needed) narrowing into Prolog can be improved by analysing definitional trees. First, we introduce a refined repre...
168
click to vote
FAST
2010
15 years 9 months ago
2010
is a unifying abstraction that simplifies data management by encapsulating different physical representations of the same logical data. Similar to a quBit (quantum bit), the parti...