8917 search results - page 3 / 1784 » Abstraction in Algorithm Animation |
TACAS
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. Failing model checking runs should be accompanied by appropriate error diagnosis information that allows the user to identify the cause of the problem. For branching time...
NPAR
2009
ACM
14 years 2 months ago
2009
ACM
ACII
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The largest part of the advertising market is already electronic. This means there is an opportunity for automatizing some of the production processes, such as producing ...
ISVC
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. Most character motion capture data does not contain secondary motions like detailed hand motion, therefore the resultant animation looks unnatural due to the stiffness of...
ASIAN
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Multimedia presentations and their applications are becoming more and more popular in most spheres of industry and everyday life. A database approach could help in queryi...