4460 search results - page 583 / 892 » Formal methods for interactive systems |
151
click to vote
INLG
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. We present a novel ensemble of six methods for improving the efficiency of chart realization. The methods are couched in the framework of Combinatory Categorial Grammar (...
151
click to vote
HAPTICS
2006
IEEE
16 years 21 days ago
2006
IEEE
We present a new method for sensing the visual environment using multiple transducers, each mounted on an individual fingertip to sense a single point in the visual surroundings. ...
162
click to vote
ETRA
2006
ACM
16 years 18 days ago
2006
ACM
Eye tracking has long held the promise of being a useful methodology for human computer interaction. However, a number of barriers have stood in the way of the integration of eye ...
160
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
Today, commodity technologies like mobile phones—once symbols of status and wealth—have become deeply woven into social and economic participation in Western society. Despite ...
160
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Many embedded systems are subject to temporal constraints that require advance guarantees on meeting deadlines. Such systems rely on static analysis to safely bound worst-case exe...