Sciweavers

529 search results - page 12 / 106
» Causal Time Calculus
Sort
View
MMB
2012
Springer
240views Communications» more  MMB 2012»
12 years 4 months ago
A Demand-Response Calculus with Perfect Batteries
We consider an electricity consumer equipped with a perfect battery, who needs to satisfy a non-elastic load, subject to external control signals. The control imposes a time-varyin...
Jean-Yves Le Boudec, Dan-Cristian Tomozei
IROS
2006
IEEE
146views Robotics» more  IROS 2006»
14 years 2 months ago
Adaptive Causal Models for Fault Diagnosis and Recovery in Multi-Robot Teams
— This paper presents an adaptive causal model method (adaptive CMM) for fault diagnosis and recovery in complex multi-robot teams. We claim that a causal model approach is effec...
Lynne E. Parker, Balajee Kannan
DSVIS
2005
Springer
14 years 2 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
FLAIRS
2010
13 years 11 months ago
Commonsense Inference in Dynamic Spatial Systems: Epistemological Requirements
We demonstrate the role of commonsense inference toward the modeling of qualitative notions of space and spatial change within a dynamic setup. The inference patterns are connecte...
Mehul Bhatt