2763 search results - page 8 / 553 » The Dangerous 'All' in Specifications |
VLC
2008
13 years 7 months ago
2008
Ensuring model quality is a key success factor in many computer science areas, and becomes crucial in recent software engineering paradigms like the one proposed by model-driven s...
ICML
2006
IEEE
14 years 8 months ago
2006
IEEE
When the transition probabilities and rewards of a Markov Decision Process are specified exactly, the problem can be solved without any interaction with the environment. When no s...
SIGSOFT
2002
ACM
14 years 8 months ago
2002
ACM
This paper explores the idea that redundant operations, like type errors, commonly flag correctness errors. We experimentally test this idea by writing and applying four redundanc...
PERCOM
2009
ACM
14 years 8 months ago
2009
ACM
Many missions are deemed dangerous or impractical to perform by humans, but can use collaborating, self-managing Unmanned Autonomous Vehicles (UAVs) which adapt their behaviour to ...
AVSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Visual surveillance in outdoor environments requires the monitoring of both objects and events. The analysis is generally driven by the target application which, in turn, determin...