1302 search results - page 1 / 261 » From Liveness to Promptness |
CAV
2007
Springer
13 years 10 months ago
2007
Springer
Liveness temporal properties state that something “good” eventually happens, e.g., every request is eventually granted. In Linear Temporal Logic (LTL), there is no a priori bo...
ICDM
2010
IEEE
13 years 2 months ago
2010
IEEE
With more older adults and people with cognitive disorders preferring to stay independently at home, prompting systems that assist with Activities of Daily Living (ADLs) are in
TIDSE
2004
Springer
13 years 9 months ago
2004
Springer
We describe an interactive narrative system that embodies Object Oriented Prompted Play (O2P2). This means that behaviours, attributes, and crucially stories are attached to object...
CARS
2003
13 years 5 months ago
2003
The goal of the data collection and analyses described in this paper was to investigate the effects of incorrect output from a CAD tool on the reliability of the decisions of its ...
BMCBI
2006
13 years 4 months ago
2006
Background: Comparison of large protein datasets has become a standard task in bioinformatics. Typically researchers wish to know whether one group of proteins is significantly en...