293 search results - page 10 / 59 » Advances in Probabilistic Model Checking |
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
149
click to vote
ICRA
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract— We present a novel algorithm to perform continuous collision detection(CCD) between non-rigid, deformable models using local advancement. Given the initial and final c...
DDECS
2008
IEEE
15 years 6 months ago
2008
IEEE
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
ICALP
1997
Springer
15 years 3 months ago
1997
Springer