5243 search results - page 349 / 1049 » Reasoning About Strategies |
140
click to vote
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. When parallelizing hierarchical view frustum culling and collision detection, the low computation cost per node and the fact that the traversal path through the tree stru...
154
click to vote
CP
2000
Springer
15 years 11 months ago
2000
Springer
Random Noise and Random Walk algorithms are local search strategies that have been used for the problem of satisfiability testing (SAT). We present a Markov-chain based analysis o...
180
click to vote
IEAAIE
1998
Springer
15 years 11 months ago
1998
Springer
In this paper a novel method of reference places' detection to build topological models is described, as well as an algorithm for route planning based on Fuzzy Petri Nets. The...
179
click to vote
IDEAS
1997
IEEE
15 years 11 months ago
1997
IEEE
The ROL system is a novel deductive object-oriented database system that has been implemented at the University of Regina. It provides a uniform rule-based declarative language fo...
144
click to vote
ADBIS
1997
Springer
15 years 11 months ago
1997
Springer
Efficient evaluation strategies for declarative updates have rarely been investigated. Due to possible dependencies between the resulting database state and the order in which re...