16430 search results - page 2643 / 3286 » On Computable Tree Functions |
216
Voted
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Large traffic network systems require handling huge amounts of data, often distributed over a large geographical region in space and time. Centralised processing is not then the ...
182
click to vote
ICCS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a dynamic data-driven methodology that is capable of simultaneously determining both the parameters of a constitutive model associated with the response of a ...
244
Voted
ICDCS
2007
IEEE
15 years 11 months ago
2007
IEEE
On-line decision making often involves query processing over time-varying data which arrives in the form of data streams from distributed locations. In such environments typically...
161
click to vote
ICIP
2007
IEEE
15 years 11 months ago
2007
IEEE
The search for alias-free sampling lattices for a given frequency support, in particular those lattices achieving minimum sampling densities, is a fundamental issue in various app...
196
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...