3602 search results - page 176 / 721 » Isn't It About Time |
ICRA
2010
IEEE
13 years 9 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...
MASS
2010
13 years 5 months ago
2010
The movement of people is by-products of spatial and temporal correlations. People go to a place at a certain time with a purpose and they meet because they are in the same place a...
CONCUR
2011
Springer
12 years 10 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
TMA
2012
Springer
12 years 6 months ago
2012
Springer
Web browsing is a very common way of using the Internet to, among others, read news, do on-line shopping, or search for user generated content such as YouTube or Dailymotion. Tradi...
TCC
2010
Springer
14 years 7 months ago
2010
Springer
The strongest standard security notion for digital signature schemes is unforgeability under chosen message attacks. In practice, however, this notion can be insufficient due to ...