Sciweavers

1220 search results - page 96 / 244
» Minimal Interval Completions
Sort
View
RTAS
2005
IEEE
14 years 2 months ago
Scheduling Messages with Deadlines in Multi-Hop Real-Time Sensor Networks
Consider a team of robots equipped with sensors that collaborate with one another to achieve a common goal. Sensors on robots produce periodic updates that must be transmitted to ...
Huan Li, Prashant J. Shenoy, Krithi Ramamritham
FOSSACS
2005
Springer
14 years 2 months ago
A Computational Model for Multi-variable Differential Calculus
Abstract. We introduce a domain-theoretic computational model for multivariable differential calculus, which for the first time gives rise to data types for differentiable functio...
Abbas Edalat, André Lieutier, Dirk Pattinso...
IPSN
2005
Springer
14 years 2 months ago
Towards optimal sleep scheduling in sensor networks for rare-event detection
— Lifetime maximization is one key element in the design of sensor-network-based surveillance applications. We propose a protocol for node sleep scheduling that guarantees a boun...
Qing Cao, Tarek F. Abdelzaher, Tian He, John A. St...
ISAAC
2005
Springer
110views Algorithms» more  ISAAC 2005»
14 years 2 months ago
Minimum Entropy Coloring
Abstract We study an information-theoretic variant of the graph coloring problem in which the objective function to minimize is the entropy of the coloring. The minimum entropy of ...
Jean Cardinal, Samuel Fiorini, Gwenaël Joret
NMR
2004
Springer
14 years 2 months ago
Frame consistency: computing with causal explanations
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
Andrea Bracciali, Antonis C. Kakas