1965 search results - page 283 / 393 » On the analysis of interacting pushdown systems |
HUC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Many existing localization systems generate location predictions, but fail to report how accurate the predictions are. This paper explores the effect of revealing the er...
AXMEDIS
2006
IEEE
14 years 3 months ago
2006
IEEE
The IST Polymnia project aims to create a fully automated system for personalised video generation. Film production involves content creation, selection and composition. Technolog...
DATE
2005
IEEE
14 years 2 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
ISWC
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we report the concept and initial prototype of a device that can be used to support evidence recovery at a crime scene. The key elements are radio frequency identifi...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...