Sciweavers

1197 search results - page 122 / 240
» The WristCam as Input Device
Sort
View
ICRA
2002
IEEE
109views Robotics» more  ICRA 2002»
14 years 2 months ago
A Realtime Pattern Generator for Biped Walking
For realtime walking control of a biped robot, we analyze the dynamics of a three-dimensional inverted pendulum whose motions are constrained onto an arbitrarily defined plane. T...
Shuuji Kajita, Fumio Kanehiro, Kenji Kaneko, Kiyos...
CHI
2009
ACM
14 years 1 months ago
Origami simulator: a multi-touch experience
We present a 3D origami simulator with multi-touch interaction. This is a preliminary exploration of manipulating 3D models with multi-touch. Following a user centered approach, w...
Samuel Hsiao-Heng Chang, Lachlan Stuart, Beryl Pli...
CHI
1999
ACM
14 years 1 months ago
Single Display Groupware: A Model for Co-Present Collaboration
We introduce a model for supporting collaborative work between people that are physically close to each other. We call this model Single Display Groupware (SDG). In this paper, we...
Jason Stewart, Benjamin B. Bederson, Allison Druin
PUC
2002
121views more  PUC 2002»
13 years 8 months ago
First Person Indoor/Outdoor Augmented Reality Application: ARQuake
: This paper presents a first person outdoor/indoor augmented reality application ARQuake that we have developed. ARQuake is an extension of the desktop game Quake, and as such we ...
Bruce H. Thomas, Benjamin Close, John Donoghue, Jo...
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
13 years 7 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt