3758 search results - page 233 / 752 » A Complete Subsumption Algorithm |
153
click to vote
ASIAN
1999
Springer
15 years 10 months ago
1999
Springer
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to...
159
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
We propose a new algorithm for recovering asynchronously from failures in a distributed computation. Our algorithm is based on two novel concepts - a fault-tolerant vector clock t...
171
Voted
OOPSLA
1997
Springer
15 years 10 months ago
1997
Springer
A new garbage collection algorithm for distributed object systems, called DMOS (Distributed Mature Object Space), is presented. It is derived from two previous algorithms, MOS (Ma...
174
click to vote
SIBGRAPI
2000
IEEE
15 years 10 months ago
2000
IEEE
Edge detection and image segmentation algorithms usually operate on an image to extract geometrical information based on pixel colors. For ray-traced images, the presence of geomet...
189
click to vote
AIMSA
2008
Springer
15 years 8 months ago
2008
Springer
We present a hybrid approach to Distributed Constraint Satisfaction which combines incomplete, fast, penalty-based local search with complete, slower systematic search. Thus, we pr...