2430 search results - page 314 / 486 » Computing Tutte Polynomials |
183
click to vote
CVPR
2004
IEEE
16 years 9 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...
180
click to vote
CVPR
2007
IEEE
16 years 9 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 ...
199
click to vote
CVPR
2008
IEEE
16 years 9 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 ...
202
click to vote
LICS
2009
IEEE
16 years 1 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 ...
203
click to vote
TCC
2004
Springer
16 years 7 days 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...