5115 search results - page 468 / 1023 » On Randomized Lanczos Algorithms |
222
Voted
ECCV
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Markov and Conditional random fields (CRFs) used in computer vision typically model only local interactions between variables, as this is computationally tractable. In t...
203
click to vote
ICCD
2000
IEEE
16 years 3 days ago
2000
IEEE
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
196
Voted
ICRA
2000
IEEE
16 years 3 days ago
2000
IEEE
This paper presents a randomized motion planner for kinodynamic asteroidavoidanceproblems, in which a robot must avoid collision with moving obstacles under kinematic, dynamic con...
192
click to vote
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
Quantum k-SAT is the problem of deciding whether there is a n-qubit state which is perpendicular to a set of vectors, each of which lies in the Hilbert space of k qubits. Equivale...
164
click to vote
ECAI
1994
Springer
15 years 11 months ago
1994
Springer
We describe a detailed experimental investigation of the phase transition for several different classes of randomly generated satisfiability problems. We observe a remarkable consi...