4949 search results - page 687 / 990 » Consistency and Set Intersection |
157
click to vote
ASIAN
2004
Springer
16 years 2 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 ...
158
click to vote
CAV
2004
Springer
16 years 2 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...
201
click to vote
COORDINATION
2004
Springer
16 years 1 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...
174
click to vote
ECAI
2004
Springer
16 years 1 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 ...
161
click to vote
ECAI
2004
Springer
16 years 1 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...