1879 search results - page 300 / 376 » Computational geometry algorithms library |
148
click to vote
GD
2009
Springer
15 years 2 months ago
2009
Springer
Much of the data generated and analyzed in the life sciences can be interpreted and represented by networks or graphs. Network analysis and visualization methods help in investigat...
126
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
116
click to vote
HPCS
2007
IEEE
15 years 10 months ago
2007
IEEE
The nonlinear simulation of interfacial instabilities in miscible displacements in porous media often requires sophisticated numerical algorithms as well as very fine spatial and ...
104
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— Algorithms for dextrous robot grasping always have to cope with the challenge of achieving high object specialisation for a wide range of grasping contexts. In this paper, we p...
140
click to vote
ISMAR
2007
IEEE
15 years 10 months ago
2007
IEEE
Many Augmented Reality (AR) applications use marker-based vision tracking systems to recover camera pose by detecting one or more planar landmarks. However, most of these systems ...