271 search results - page 3 / 55 » Observational Completeness on Abstract Interpretation |
CC
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We discuss the challenges faced by bytecode analyzers designed for code verification compared to similar analyzers for source code. While a bytecode-level analysis brings...
AUSAI
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
ENTCS
2008
13 years 5 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
IJCAI
2007
13 years 7 months ago
2007
In this paper, we present the agent programming language TEAMGOLOG, which is a novel approach to programming a team of cooperative agents under partial observability. Every agent ...
JUCS
2002
13 years 5 months ago
2002
Abstract: Observation is a fundamental interaction pattern in today's computerbased systems. Adopting observation as the main modelling criterion, computer-based systems can b...