3206 search results - page 292 / 642 » Optimizing Graph Algorithms for Improved Cache Performance |
104
Voted
IJCAI
1989
15 years 4 months ago
1989
A constraint satisfiability problem consists of a set of variables, their associated domains (i.e., the set of values the variable can take) and a set of constraints on these vari...
124
Voted
CGF
1999
15 years 3 months ago
1999
We describe an approach for interactive collision detection and proximity computations on massive models composed of millions of geometric primitives. We address issues related to...
123
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— We focus on efficient protocols that enhance a network with topology awareness. We discuss centralized algorithms with provable performance, and introduce decentralized asynch...
154
click to vote
FOCS
1999
IEEE
15 years 7 months ago
1999
IEEE
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
121
click to vote
GECCO
2009
Springer
15 years 10 months ago
2009
Springer
This paper introduces a new component based model that makes it relatively simple to prove that certain types of landscapes are elementary. We use the model to reconstruct proofs ...