4460 search results - page 171 / 892 » Formal methods for interactive systems |
130
Voted
ML
2007
ACM
15 years 3 months ago
2007
ACM
We develop new algorithms for learning monadic node selection queries in unranked trees from annotated examples, and apply them to visually interactive Web information extraction. ...
134
Voted
HCI
2007
15 years 5 months ago
2007
Abstract. This paper proposed a new visual tag system for enhancing realworld media interaction using handheld camera devices. This paper also described performance evaluations of ...
159
click to vote
FORMATS
2004
Springer
15 years 7 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
140
click to vote
FOCS
2009
IEEE
15 years 10 months ago
2009
IEEE
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient pa...
122
Voted
CHI
2003
ACM
16 years 4 months ago
2003
ACM
We propose a head-free, easy-setup gaze tracking system designed for a gaze-based Human-Computer Interaction. Our system enables the user to interact with the computer soon after ...