1458 search results - page 231 / 292 » Monads for incremental computing |
120
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
142
click to vote
SCALESPACE
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we address the problem of estimating mesoscale dynamics of atmospheric layers from satellite image sequences. Relying on a physically sound vertical decomposition of...
140
click to vote
SSD
2007
Springer
15 years 10 months ago
2007
Springer
The ability to continuously monitor the positions of mobile objects is important in many applications. While most past work has been set in Euclidean spaces, the mobile objects rel...
130
click to vote
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
Data-Pipelining is a widely used model to represent streaming applications. Incremental decomposition and optimization of a data-pipelining application onto a multi-processor plat...
168
Voted
ICDE
2006
IEEE
15 years 10 months ago
2006
IEEE
Continuous spatio-temporal queries have recently received increasing attention due to the abundance of location-aware applications. This paper addresses the Continuous Reverse Nea...