744 search results - page 85 / 149 » Observations on the Decidability of Transitions |
FM
2006
Springer
14 years 24 days ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Security at major locations of economic or political importance is a key concern around the world, particularly given the threat of terrorism. Limited security resources prevent f...
IDA
2010
Springer
13 years 11 months ago
2010
Springer
We present a data mining approach to model the cooling infrastructure in data centers, particularly the chiller ensemble. These infrastructures are poorly understood due to the lac...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
Reasoning about perception of depth and about spatial relations between moving physical objects is a challenging problem. We investigate the representation of depth and motion by m...
ESANN
2008
13 years 10 months ago
2008
In this paper we define and address the problem of safe exploration in the context of reinforcement learning. Our notion of safety is concerned with states or transitions that can ...