Sciweavers

327 search results - page 19 / 66
» Framing Virtual Law
Sort
View
UIST
2010
ACM
13 years 5 months ago
SqueezeBlock: using virtual springs in mobile devices for eyes-free interaction
Haptic feedback provides an additional interaction channel when auditory and visual feedback may not be appropriate. We present a novel haptic feedback system that changes its ela...
Sidhant Gupta, Tim Campbell, Jeffrey R. Hightower,...
RAS
2010
108views more  RAS 2010»
13 years 6 months ago
Experimental validation of collective circular motion for nonholonomic multi-vehicle systems
This paper presents the experimental validation of a recently proposed decentralized control law, for the collective circular motion of a team of nonholonomic vehicles about a vir...
Daniele Benedettelli, Nicola Ceccarelli, Andrea Ga...
ISUVR
2007
13 years 9 months ago
Realizing Seamless Interaction: a Cognitive Agent Architecture for Virtual and Smart Environments
Abstract— We propose a cognitively motivated vertically layered two-pass agent architecture for realizing responsiveness, reactivity, and pro-activeness of smart objects, smart e...
Youngho Lee, Hedda Rahel Schmidtke, Youngjung Suh,...
WSCG
2000
95views more  WSCG 2000»
13 years 9 months ago
An Immersive Virtual Environment for Special Relativity
This paper presents an immersive virtual environment which allows the user to virtually explore and experience special relativity, including phenomena such as Lorentz contraction,...
Daniel Weiskopf
TPHOL
2009
IEEE
14 years 2 months ago
Types, Maps and Separation Logic
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
Rafal Kolanski, Gerwin Klein