Sciweavers

102 search results - page 11 / 21
» Watch Your Language!
Sort
View
CAV
2005
Springer
173views Hardware» more  CAV 2005»
14 years 1 months ago
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, ...
MHCI
2009
Springer
14 years 2 months ago
Hoverflow: exploring around-device interaction with IR distance sensors
By equipping a mobile device with distance sensing capabilities, we aim to expand the interaction possibilities of mobile and wearable devices beyond the confines of the physical ...
Sven G. Kratz, Michael Rohs
ESAW
2009
Springer
14 years 2 months ago
Cooperative Sign Language Tutoring: A Multiagent Approach
Sign languages can be learned effectively only with frequent feedback from an expert in the field. The expert needs to watch a performed sign, and decide whether the sign has bee...
Ilker Yildirim, Oya Aran, Pinar Yolum, Lale Akarun
IJCAI
1997
13 years 8 months ago
The Origins of Syntax in Visually Grounded Robotic Agents
The paper proposes a set of principles and a general architecture that may explain how language and meaning may originate and complexify in a group of physically grounded distribu...
Luc Steels
CHI
2006
ACM
14 years 7 months ago
Developing user interface guidelines for DVD menus
Watching DVDs can be a frustrating experience, because DVD menus often miss out on usability and are complex and difficult to navigate through. Similar to the early years of web d...
Karin Kappel, Martin Tomitsch, Thomas Grechenig, T...