1486 search results - page 127 / 298 » Algorithms for two-box covering |
125
click to vote
SODA
2004
ACM
15 years 5 months ago
2004
ACM
We present an efficient algorithm for the following problem: Given a collection T = {1, . . . , n} of n triangles in the plane, such that there exists a subset S T (unknown to us)...
126
click to vote
ISBI
2002
IEEE
2002
IEEE
Covariance-driven retinal image registration initialized from small sets of landmark correspondences
16 years 4 months ago
An automatic retinal image registration algorithm would be an important tool for detecting visible changes in the retina caused by the progress of a disease or by the impact of a ...
142
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
Greedy algorithms for the construction of software interaction test suites are studied. A framework is developed to evaluate a large class of greedy methods that build suites one ...
136
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
127
click to vote
WSCG
2004
15 years 5 months ago
2004
Collision detection between moving objects is an open question which raises major problems concerning its algorithmic complexity. In this paper we present a polygon collision dete...