1880 search results - page 266 / 376 » A Static Analysis for Beta-Binders |
179
click to vote
IBPRIA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we propose a new method to extract moving objects from a video stream without any motion estimation. The objective is to obtain a method robust to noise, large motio...
166
click to vote
LOPSTR
2005
Springer
15 years 11 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...
135
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
160
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
Interval computations, stochastic arithmetic, automatic differentiation, etc.: much work is currently done to estimate and to improve the numerical accuracy of programs but few c...
149
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...