2673 search results - page 105 / 535 » Guided Static Analysis |
126
click to vote
CVPR
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a novel approach for robust localization of multiple people observed using multiple cameras. We use this location information to generate sports visualizations, which i...
CADE
2008
Springer
16 years 1 months ago
2008
Springer
Confidentiality is maybe the most popular security property to be formally or informally verified. Noninterference is a baseline security policy to formalize confidentiality of sec...
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
Background modeling and subtraction is a core component in motion analysis. The central idea behind such module is to create a probabilistic representation of the static scene tha...
CAISE
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents an algorithm for termination static analysis of active rules with priorities. Active rules termination is an undecidable problem. Several recent works have sugg...
103
click to vote
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available...