Sciweavers

8917 search results - page 302 / 1784
» Abstraction in Algorithm Animation
Sort
View
216
Voted
TOG
2012
242views Communications» more  TOG 2012»
13 years 6 months ago
Precomputed acceleration noise for improved rigid-body sound
We introduce an efficient method for synthesizing acceleration noise – sound produced when an object experiences abrupt rigidbody acceleration due to collisions or other contac...
Jeffrey N. Chadwick, Changxi Zheng, Doug L. James
268
Voted
TOG
2012
582views Communications» more  TOG 2012»
13 years 6 months ago
Synthesis of detailed hand manipulations using contact sampling
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...
Yuting Ye, C. Karen Liu
142
Voted
WDAG
2007
Springer
127views Algorithms» more  WDAG 2007»
15 years 9 months ago
A Distributed Maximal Scheduler for Strong Fairness
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...
Matthew Lang, Paolo A. G. Sivilotti
122
Voted
AAIM
2006
Springer
110views Algorithms» more  AAIM 2006»
15 years 9 months ago
Non-metric Multicommodity and Multilevel Facility Location
Abstract. We give logarithmic approximation algorithms for the nonmetric uncapacitated multicommodity and multilevel facility location problems. The former algorithms are optimal u...
Rudolf Fleischer, Jian Li, Shijun Tian, Hong Zhu
116
Voted
CAV
2010
Springer
251views Hardware» more  CAV 2010»
15 years 7 months ago
Automated Assume-Guarantee Reasoning through Implicit Learning
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...
Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Min...