279 search results - page 6 / 56 » Learning and reasoning about interruption |
RWEB
2009
Springer
14 years 2 months ago
2009
Springer
XML is the underlying representation formalism of much web-data. Thus to reason about web-data essentially boils down to reasoning about data in XML format. In this course the stud...
FASE
2011
Springer
12 years 11 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
COGSCI
2008
13 years 7 months ago
2008
Historians of science have pointed to essentialist beliefs about species as major impediments to the discovery of natural selection. The present study investigated whether such be...
CHI
2007
ACM
14 years 7 months ago
2007
ACM
The ability to detect and differentiate breakpoints during task execution is critical for enabling defer-to-breakpoint policies within interruption management. In this work, we ex...