17450 search results - page 3378 / 3490 » Numerical Methods with Applications |
195
click to vote
IFL
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
175
click to vote
IPSN
2005
Springer
16 years 7 days ago
2005
Springer
— We present the design of the eXtreme Scale Mote, a new sensor network platform for reliably detecting and classifying, and quickly reporting, rare, random, and ephemeral events...
176
click to vote
IPSN
2005
Springer
16 years 7 days ago
2005
Springer
We address the problem of selecting sensors so as to minimize the error in estimating the position of a target. We consider a generic sensor model where the measurements can be in...
177
click to vote
KI
2005
Springer
16 years 6 days ago
2005
Springer
The point algebra is a fundamental formal calculus for spatial and temporal reasoning. We present a new generalization that meets all requirements to describe dependencies on netw...
208
click to vote
MICAI
2005
Springer
16 years 6 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...