2430 search results - page 314 / 486 » Computing Tutte Polynomials |
132
Voted
CVPR
2004
IEEE
16 years 5 months ago
2004
IEEE
Abstract-- Efficient detection of globally optimal surfaces representing object boundaries in volumetric datasets is important and remains challenging in many medical image analysi...
138
Voted
CVPR
2007
IEEE
16 years 5 months ago
2007
IEEE
Epipolar geometry and relative camera pose computation are examples of tasks which can be formulated as minimal problems and solved from a minimal number of image points. Finding ...
141
Voted
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Linear inverse problems in computer vision, including motion estimation, shape fitting and image reconstruction, give rise to parameter estimation problems with highly correlated ...
135
Voted
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
144
Voted
TCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...