Search Sciweavers | Sciweavers

15840 search results - page 144 / 3168

» The Control of Synchronous Systems

click to vote

ISMAR
2005
IEEE

131views Augmented Reality» more ISMAR 2005»

Synchronizing 3D Movements for Quantitative Comparison and Simultaneous Visualization of Actions

14 years 4 months ago

Download campar.in.tum.de

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

claim paper

Read More »

click to vote

FROCOS
2009
Springer

139views Control Systems» more FROCOS 2009»

Combinations of Theories for Decidable Fragments of First-Order Logic

14 years 5 months ago

Download disi.unitn.it

Pascal Fontaine

claim paper

Read More »

click to vote

FROCOS
2009
Springer

154views Control Systems» more FROCOS 2009»

Building SMT-Based Software Model Checkers: An Experience Report

14 years 5 months ago

Download disi.unitn.it

Alessandro Armando

claim paper

Read More »

click to vote

FROCOS
2009
Springer

107views Control Systems» more FROCOS 2009»

Termination Modulo Combinations of Equational Theories

14 years 5 months ago

Download disi.unitn.it

Francisco Durán, Salvador Lucas, José...

claim paper

Read More »

click to vote

FROCOS
2009
Springer

112views Control Systems» more FROCOS 2009»

Data Structures with Arithmetic Constraints: A Non-disjoint Combination

14 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers