1880 search results - page 90 / 376 » A Static Analysis for Beta-Binders |
111
click to vote
CVPR
2010
IEEE
15 years 28 days 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...
121
click to vote
INFSOF
2010
14 years 9 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
CADE
2008
Springer
16 years 3 days 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 1 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 5 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...