1880 search results - page 266 / 376 » A Static Analysis for Beta-Binders |
206
Voted
IBPRIA
2005
Springer
16 years 14 days 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...
181
Voted
LOPSTR
2005
Springer
16 years 13 days 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 ...
156
click to vote
UML
2005
Springer
16 years 13 days 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...
180
Voted
VMCAI
2005
Springer
16 years 13 days 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...
173
Voted
APLAS
2004
ACM
16 years 12 days ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...