119 search results - page 19 / 24 » State Checksum and Its Role in System Stabilization |
OSDI
2008
ACM
14 years 7 months ago
2008
ACM
This paper introduces a new consistency metric, Network Imprecision (NI), to address a central challenge in largescale monitoring systems: safeguarding correctness despite node an...
HYBRID
2010
Springer
13 years 9 months ago
2010
Springer
In this paper, we describe a receding horizon scheme that satisfies a class of linear temporal logic specifications sufficient to describe a wide range of properties including saf...
ECML
2003
Springer
14 years 21 days ago
2003
Springer
Due to the unavoidable fact that a robot’s sensors will be limited in some manner, it is entirely possible that it can find itself unable to distinguish between differing state...
ACII
2011
Springer
12 years 7 months ago
2011
Springer
Affect plays a vital role in learning. During tutoring, particular affective states may benefit or detract from student learning. A key cognitiveaffective state is confusion, which...
ITS
2000
Springer
13 years 11 months ago
2000
Springer
Training teams is an activity that is expensive, time-consuming, hazardous in some cases, and can be limited by availability of equipment and personnel. In team training, the focus...