3758 search results - page 249 / 752 » A Complete Subsumption Algorithm |
170
click to vote
SAINT
2007
IEEE
16 years 21 days ago
2007
IEEE
A database query caching technique, GlobeCBC, can be used to improve the scalability of Web applications. This paper addresses the availability issues in GlobeCBC. Even though hig...
173
click to vote
VR
2007
IEEE
16 years 20 days ago
2007
IEEE
The simulation of fracture leads to collision-intensive situations that call for efficient collision detection algorithms and data structures. Bounding volume hierarchies (BVHs) ...
162
click to vote
CP
2007
Springer
16 years 18 days ago
2007
Springer
Probabilistic Choice Operators (PCOs) are convenient tools to model uncertainty in CP. They are useful to implement randomized algorithms and stochastic processes in the concurrent...
142
click to vote
EUROPAR
2007
Springer
16 years 17 days ago
2007
Springer
The distributed nature of the grid results in the problem of scheduling parallel jobs produced by several independent organizations that have partial control over the system. We co...
165
click to vote
FROCOS
2007
Springer
16 years 17 days ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...