Sciweavers

15840 search results - page 144 / 3168
» The Control of Synchronous Systems
Sort
View
100
Voted
ISMAR
2005
IEEE
15 years 6 months ago
Synchronizing 3D Movements for Quantitative Comparison and Simultaneous Visualization of Actions
In our poster presentation at ISMAR’04 [11], we proposed the idea of an AR training solution including capture and 3D replays of subtle movements. The crucial part missing for r...
Tobias Sielhorst, Tobias Blum, Nassir Navab
118
Voted
FROCOS
2009
Springer
15 years 7 months ago
Building SMT-Based Software Model Checkers: An Experience Report
Alessandro Armando
102
Voted
FROCOS
2009
Springer
15 years 7 months ago
Termination Modulo Combinations of Equational Theories
Francisco Durán, Salvador Lucas, José...
83
Voted
FROCOS
2009
Springer
15 years 7 months ago
Data Structures with Arithmetic Constraints: A Non-disjoint Combination
Enrica Nicolini, Christophe Ringeissen, Michaë...