3688 search results - page 433 / 738 » Static analysis of aspects |
155
click to vote
GEOS
2005
Springer
16 years 9 days ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
201
click to vote
IBPRIA
2005
Springer
16 years 9 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...
179
click to vote
VMCAI
2005
Springer
16 years 8 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...
164
click to vote
APLAS
2004
ACM
16 years 6 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...
184
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Model-based diagnosis applied to computer programs has been studied for several years. Although there are still weaknesses in the used models, especially on dealing with dynamic da...