109 search results - page 17 / 22 » Model-checking Driven Design of Interactive Systems |
79
Voted
USENIX
2003
14 years 11 months ago
2003
Gesture recognition is a common method of text input on handheld and other pen-based computing devices. Xstroke is a full-screen gesture recognition program for the X Window Syste...
WSCG
2003
14 years 11 months ago
2003
We present an extended framework for modelling agent-object interactions in virtual environments. Our framework is based on the concept of Smart Objects and provides agents with p...
WETICE
1997
IEEE
15 years 1 months ago
1997
IEEE
Contemporary product design and process development is based on an iterative specify-evaluate-revise approach which is often time intensive and therein non-responsive to customer ...
CONNECTION
2004
14 years 9 months ago
2004
The Artificial Life approach to Evolutionary Robotics is used as a fundamental framework for the development of a modular neural control of autonomous mobile robots. The applied e...
75
Voted
SIGMETRICS
2008
ACM
14 years 9 months ago
2008
ACM
Wireless Network Interface Cards (WNICs) are part of every portable device, where efficient energy management plays a significant role in extending the device's battery life....