4894 search results - page 597 / 979 » The Guarding Problem - Complexity and Approximation |
146
Voted
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
125
click to vote
SI3D
2006
ACM
15 years 10 months ago
2006
ACM
Shadow maps are a widely used shadowing technique in real time graphics. One major drawback of their use is that they cannot be filtered in the same way as color textures, typica...
124
click to vote
IDEAL
2005
Springer
15 years 10 months ago
2005
Springer
The neural representation of space in rats has inspired many navigation systems for robots. In particular, Self-Organizing (Feature) Maps (SOM) are often used to give a sense of lo...
132
click to vote
SAT
2005
Springer
15 years 10 months ago
2005
Springer
We introduce ApproxCount, an algorithm that approximates the number of satisfying assignments or models of a formula in propositional logic. Many AI tasks, such as calculating degr...
122
click to vote
SIGMETRICS
2004
ACM
15 years 10 months ago
2004
ACM
Low priority data transfer across the wide area is useful in several contexts, for example for the dissemination of large files such as OS updates, content distribution or prefet...