Sciweavers

2470 search results - page 424 / 494
» Liveness-Preserving Simulation Relations
Sort
View
SIGGRAPH
2010
ACM
14 years 2 months ago
Optimal feedback control for character animation using an abstract model
Feedback Control for Character Animation Using an Abstract Model Yuting Ye C. Karen Liu Georgia Institute of Technology∗ Real-time adaptation of a motion capture sequence to vir...
Yuting Ye, C. Karen Liu
UML
2001
Springer
14 years 2 months ago
Formalization of UML-Statecharts
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
Michael von der Beeck
ACSAC
2000
IEEE
14 years 2 months ago
On Computer Viral Infection and the Effect of Immunization
Viruses remain a significant threat to modern networked computer systems. Despite the best efforts of those who develop anti-virus systems, new viruses and new types of virus that...
Chenxi Wang, John C. Knight, Matthew C. Elder
ICMCS
2000
IEEE
134views Multimedia» more  ICMCS 2000»
14 years 2 months ago
TBLB Algorithm for Servicing Real-Time Multimedia Traffic Streams
In this paper, we propose to use a simple packet servicing algorithm suitable for servicing bursty real-time multimedia traffic streams in packet-switched networks. These real-tim...
William K. Wong, Victor C. M. Leung
ICRA
2000
IEEE
93views Robotics» more  ICRA 2000»
14 years 2 months ago
Grasping Curved Objects through Rolling
Grasping a curved object free in the plane may be done through rolling a pair of fingers on the object’s boundary. Each finger is equipped with a tactile sensor able to record...
Yan-Bin Jia