Search Sciweavers | Sciweavers

276 search results - page 1 / 56

» chi 2003

click to vote

CHI
2003
ACM

95views Human Computer Interaction» more CHI 2003»

Designing for learning

14 years 5 months ago

Download www-personal.umich.edu

Susanne Jul, Chris Quintana

claim paper

Read More »

click to vote

FORMATS
2003
Springer

99views Formal Methods» more FORMATS 2003»

Formal Semantics of Hybrid Chi

13 years 9 months ago

Download www.mate.tue.nl

Abstract. The veriﬁcation formalism / modeling and simulation language hybrid Chi is deﬁned. The semantics of hybrid Chi is formally speciﬁed using Structured Operational Sem...

Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man...

claim paper

Read More »

click to vote

VR
2003
IEEE

113views Virtual Reality» more VR 2003»

Training for Physical Tasks in Virtual Environments: Tai Chi

13 years 9 months ago

Download www.cs.cmu.edu

We present a wireless virtual reality system and a prototype full body Tai Chi training application. Our primary contribution is the creation of a virtual reality system that trac...

Philo Tan Chua, Rebecca Crivella, Bo Daly, Ning Hu...

claim paper

Read More »

click to vote

DRW
2003

130views Mathematics» more DRW 2003»

Approximation and Analytical Studies of Inter-clustering Performances of Space-Filling Curves

13 years 6 months ago

Download www.dmtcs.org

Ho-Kwok Dai, Hung-Chi Su

claim paper

Read More »