4949 search results - page 687 / 990 » Consistency and Set Intersection |
178
click to vote
ASIAN
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. We give conditions for hash table probing which minimize the expected number of collisions. A probing algorithm is determined by a sequence of numbers denoting jumps for ...
182
click to vote
CAV
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. Separation Logic consists of a Boolean combination of predicates of the form vi ≥ vj +c where c is a constant and vi, vj are variables of some ordered infinite type li...
226
click to vote
COORDINATION
2004
Springer
16 years 24 days ago
2004
Springer
This paper presents Limone, a new coordination model that facilitates rapid application development over ad hoc networks consisting of logically mobile agents and physically mobile...
200
click to vote
ECAI
2004
Springer
16 years 24 days ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
184
click to vote
ECAI
2004
Springer
16 years 24 days ago
2004
Springer
Abstract. Adaptive consistency is a solving algorithm for constraint networks. Its basic step is variable elimination: it takes a network as input, and producesan equivalent networ...