4302 search results - page 292 / 861 » Index Pairs Algorithms |
163
click to vote
ENTCS
2006
15 years 4 months ago
2006
A logic for reasoning about states of basic quantum imperative programs is presented. The models of the logic are ensembles obtained by attaching probabilities to pairs of quantum...
164
click to vote
FSTTCS
2010
Springer
15 years 1 months ago
2010
Springer
A spanner of a graph is a sparse subgraph that approximately preserves distances in the original graph. More precisely, a subgraph H = (V, EH ) is a k-spanner of a graph G = (V, E...
123
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
We describe an algorithm to compute the geodesics in an arbitrary CAT(0) cubical complex. A key tool is a correspondence between cubical complexes of global non-positive curvature ...
124
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
A new robust dense matching algorithm is introduced in this paper. The algorithm starts from matching the most textured points, then a match propagation algorithm is developed wit...
149
click to vote
IROS
2009
IEEE
15 years 11 months ago
2009
IEEE
— This paper describes the design of a motion control algorithm for a humanoid robotic head, which consists of a neck with four degrees of freedom and two eyes (a stereo pair sys...