1195 search results - page 89 / 239 » What, Where |
AIME
2007
Springer
14 years 3 months ago
2007
Springer
Medical critiquing systems criticise clinical actions performed by a physician. In order to provide useful feedback, an important task is to find differences between the actual a...
TARK
2007
Springer
14 years 3 months ago
2007
Springer
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
ICALT
2006
IEEE
14 years 3 months ago
2006
IEEE
We study the use of a computer application, intended for Computer Assisted Language Learning (CALL). We present an analytical framework for CALL, consisting of technology, interac...
TACAS
2005
Springer
14 years 2 months ago
2005
Springer
We present MC2 , what we believe to be the first randomized, Monte Carlo algorithm for temporal-logic model checking, the classical problem of deciding whether or not a property s...
VLDB
2005
ACM
14 years 2 months ago
2005
ACM
This paper introduces a novel type of query, what we name Spatio-temporal Pattern Queries (STP). Such a query specifies a spatiotemporal pattern as a sequence of distinct spatial...