393 search results - page 13 / 79 » Dynamic Temporal Interpretation Contexts for Temporal Abstra... |
LISP
2008
13 years 8 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to ...
IBPRIA
2007
Springer
13 years 10 months ago
2007
Springer
This work describes an approach for the interpretation and explanation of human behavior in image sequences, within the context of a Cognitive Vision System. The information source...
AIR
2006
13 years 8 months ago
2006
Abstract Storing and retrieving time-related information are important, or even critical, tasks on many areas of Computer Science (CS) and in particular for Artificial Intelligence...
AIME
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper deals with the interpretation of biomedical multivariate time series for extracting typical scenarios. This task is known to be difficult, due to the temporal ...