Sciweavers

1038 search results - page 136 / 208
» Towards A Peer-to-Peer Simulator
Sort
View
DAC
2006
ACM
16 years 7 months ago
SAT sweeping with local observability don't-cares
SAT sweeping is a method for simplifying an AND/INVERTER graph (AIG) by systematically merging graph vertices from the inputs towards the outputs using a combination of structural...
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann, Alberto...
MICCAI
2007
Springer
16 years 7 months ago
Interactive Contacts Resolution Using Smooth Surface Representation
Accurately describing interactions between medical devices and anatomical structures, or between anatomical structures themselves, is an essential step towards the adoption of comp...
Jérémie Dequidt, Julien Lenoir, Step...
CHI
2009
ACM
16 years 6 months ago
The VoiceBot: a voice controlled robot arm
We present a system whereby the human voice may specify continuous control signals to manipulate a simulated 2D robotic arm and a real 3D robotic arm. Our goal is to move towards ...
Brandi House, Jonathan Malkin, Jeff Bilmes
CHI
2007
ACM
16 years 6 months ago
iPod distraction: effects of portable music-player use on driver performance
Portable music players such as Apple's iPod have become ubiquitous in many environments, but one environment in particular has elicited new safety concerns and challenges -in...
Dario D. Salvucci, Daniel Markley, Mark Zuber, Dun...
CHI
2004
ACM
16 years 6 months ago
Finding meaningful uses for context-aware technologies: the humanistic research strategy
Human?computer interaction (HCI) is undergoing a paradigm change towards interaction that is contextually adapted to rich use situations taking place "beyond the desktop"...
Antti Oulasvirta