230 search results - page 23 / 46 » Quantum Search with Variable Times |
101
Voted
CAMAD
2009
IEEE
15 years 5 months ago
2009
IEEE
— Simulation tools are popular in the design and study of communication systems and networks. The implementation of analytic distributed simulations commonly require a central en...
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
125
click to vote
CGO
2011
IEEE
14 years 4 months ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
113
Voted
ICCV
2011
IEEE
14 years 12 days ago
2011
IEEE
We address the problem of reconstructing 3D face models from large unstructured photo collections, e.g., obtained by Google image search or from personal photo collections in iPho...
100
click to vote
ECAI
2006
Springer
15 years 4 months ago
2006
Springer
A new search algorithm for solving distributed constraint optimization problems (DisCOPs) is presented. Agents assign variables sequentially and propagate their assignments asynchr...