439 search results - page 31 / 88 » Choiceless Computation and Symmetry |
DAGSTUHL
2006
14 years 11 months ago
2006
Supercomputing applications usually involve the repeated parallel application of discretized differential operators. Difficulties arise with higher-order discretizations their com...
MVA
2007
14 years 11 months ago
2007
A monocular vision based location algorithm is presented to detect and track rear vehicles for lane change assist. The algorithm uses the shadow underneath the vehicle to extract ...
ATVA
2007
Springer
15 years 1 months ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
92
Voted
ECCV
2010
Springer
15 years 3 days ago
2010
Springer
This paper proposes a novel approach to segment three dimensional curvilinear structures, particularly vessels in angiography, by inspecting the symmetry of image gradients. The pr...
80
Voted
CGI
2006
IEEE
15 years 1 months ago
2006
IEEE
This paper tackles a particular shape matching problem: given a data base of shapes (described as triangular meshes), we search for all shapes which describe a human. We do so by a...