8917 search results - page 302 / 1784 » Abstraction in Algorithm Animation |
279
click to vote
TOG
2012
13 years 9 months ago
2012
We introduce an efficient method for synthesizing acceleration noise – sound produced when an object experiences abrupt rigidbody acceleration due to collisions or other contac...
345
click to vote
TOG
2012
13 years 9 months ago
2012
Capturing human activities that involve both gross full-body motion and detailed hand manipulation of objects is challenging for standard motion capture systems. We introduce a ne...
177
click to vote
WDAG
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Weak fairness guarantees that if an action is continuously enabled, it is executed infinitely often. Strong fairness, on the other hand, guarantees that actions that are...
160
click to vote
AAIM
2006
Springer
16 years 18 days ago
2006
Springer
Abstract. We give logarithmic approximation algorithms for the nonmetric uncapacitated multicommodity and multilevel facility location problems. The former algorithms are optimal u...
151
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...