549 search results - page 82 / 110 » The corner arc algorithm |
GG
2010
Springer
15 years 5 days ago
2010
Springer
In recent years, a research thread focused on the use of the unfolding semantics for verification purposes. This started with a paper by McMillan, which devises an algorithm for co...
WEA
2007
Springer
15 years 5 months ago
2007
Springer
We study the real algorithm for the point-to-point shortest path problem. It combines A∗ search search, landmark-based lower bounds, and reach-based pruning. We suggest several ...
UAI
2004
15 years 14 days ago
2004
As real-world Bayesian networks continue to grow larger and more complex, it is important to investigate the possibilities for improving the performance of existing algorithms of ...
ISAAC
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In this paper, we consider the problem of computing a minimum bending energy path (or MinBEP) in a simple corridor. Given a simple 2D corridor C bounded by straight line ...
155
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
Contemporary face recognition algorithms rely on precise
localization of keypoints (corner of eye, nose etc.). Unfortunately,
finding keypoints reliably and accurately remains
a...