Sciweavers

4270 search results - page 227 / 854
» Implementation of interactive poster
Sort
View
MKM
2009
Springer
16 years 1 months ago
Combining Coq and Gappa for Certifying Floating-Point Programs
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
Sylvie Boldo, Jean-Christophe Filliâtre, Gui...
MM
2009
ACM
128views Multimedia» more  MM 2009»
16 years 1 months ago
Swan boat: pervasive social game to enhance treadmill running
We designed and implemented a pervasive game called Swan Boat that targets the bland and tedious nature of running on a treadmill, making it fun through social interaction and imm...
Miru Ahn, Sungwon Peter Choe, Sungjun Kwon, Byungl...
ICRA
2008
IEEE
130views Robotics» more  ICRA 2008»
16 years 1 months ago
A natural gesture interface for operating robotic systems
Abstract— A gesture-based interaction framework is presented for controlling mobile robots. This natural interaction paradigm has few physical requirements, and thus can be deplo...
Anqi Xu, Gregory Dudek, Junaed Sattar
HAID
2007
Springer
16 years 23 days ago
Shake2Talk: Multimodal Messaging for Interpersonal Communication
This paper explores the possibilities of using audio and haptics for interpersonal communication via mobile devices. Drawing on the literature on current messaging practises, a new...
Lorna M. Brown, John Williamson
WSFM
2007
Springer
16 years 21 days ago
Towards a Theory of Web Service Choreographies
A fundamental promise of service oriented architecture (SOA) lies in the ease of integrating sharable information, processes, and other resources through interactions among the sha...
Jianwen Su, Tevfik Bultan, Xiang Fu, Xiangpeng Zha...