255 search results - page 30 / 51 » An Efficient Algorithm for Computing Hypervolume Contributio... |
AMDO
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Many applications in computer graphics require fast and robust collision detection algorithms. The problem of simulating motion in an articulated chain has been well stud...
AIPS
2004
13 years 9 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
IP address lookup is a challenging problem due to the increasing routing table size, and higher line rate. This paper investigates a new way to build an efficient IP lookup scheme...
ISVC
2010
Springer
13 years 8 months ago
2010
Springer
We present a method for nonrigid registration of 2-D geometric shapes. Our contribution is twofold. First, we extend the classic chamfer-matching energy to a variational functional...
SMA
2008
ACM
13 years 7 months ago
2008
ACM
An algorithm and implementation is presented to compute the exact arrangement induced by arbitrary algebraic surfaces on a parametrized ring Dupin cyclide. The family of Dupin cyc...