Sciweavers

2470 search results - page 424 / 494
» Liveness-Preserving Simulation Relations
Sort
View
SIGGRAPH
2010
ACM
15 years 10 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
15 years 10 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
15 years 10 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»
15 years 10 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»
15 years 10 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