Sciweavers

4688 search results - page 745 / 938
» Dynamics of Control
Sort
View
HAPTICS
2009
IEEE
16 years 1 months ago
System improvements in Mobile Haptic Interface
A Mobile Haptic Interface (MHI), a force-feedback haptic interface with a mobile base, allows to render very large virtual objects in a safe and portable manner. In this paper, we...
In Lee, Inwook Hwang, Kyung-Lyoung Han, Oh Kyu Cho...
MEMOCODE
2006
IEEE
16 years 17 days ago
Specifying and proving properties of timed I/O automata in the TIOA toolkit
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
Myla Archer, Hongping Lim, Nancy A. Lynch, Sayan M...
APGV
2006
ACM
196views Visualization» more  APGV 2006»
16 years 16 days ago
Semantic 3D motion retargeting for facial animation
We present a system for realistic facial animation that decomposes facial motion capture data into semantically meaningful motion channels based on the Facial Action Coding System...
Cristóbal Curio, Martin Breidt, Mario Klein...
ICOIN
2004
Springer
15 years 12 months ago
A Transport Layer Mobility Support Mechanism
Recently, mobile SCTP (mSCTP) has been proposed as a transport layer approach for supporting mobility. mSCTP is based on the ’multi-homing’ feature of Stream Control Transmissi...
Moonjeong Chang, Meejeong Lee, Seokjoo Koh
HASKELL
2008
ACM
15 years 7 months ago
A library for light-weight information-flow security in haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
Alejandro Russo, Koen Claessen, John Hughes