1965 search results - page 15 / 393 » On the analysis of interacting pushdown systems |
FMSD
2006
13 years 8 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
LREC
2010
13 years 10 months ago
2010
Most question-answering systems contain a classifier module which determines a question category, based on which each question is assigned an answer type. However, setting up synt...
IWEC
2010
13 years 10 months ago
2010
In this article, we define interactive storytelling as a gaming experience where the form and content of the game is customized in real time and tailored to the preferences and ne...
USAB
2007
13 years 9 months ago
2007
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...
CIVR
2010
Springer
14 years 1 months ago
2010
Springer
In this paper, we present a methodology to estimate a detailed state of a video scene involving multiple humans and vehicles. In order to annotate and retrieve videos containing a...