835 search results - page 131 / 167 » Nonmonotonic Reasoning in Probabilistics |
PRICAI
1998
Springer
14 years 22 days ago
1998
Springer
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
ICOST
2010
Springer
14 years 15 days ago
2010
Springer
While people have many ideas about how a smart home should react to particular behaviours from their inhabitant, there seems to have been relatively little attempt to organise this...
ACIVS
2006
Springer
14 years 8 days ago
2006
Springer
The vision-based scene understanding technique that infers scene-interpreting contexts from real-world vision data has to not only deal with various uncertain environments but also...
ARCS
2006
Springer
14 years 8 days ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
ATAL
2006
Springer
13 years 10 months ago
2006
Springer
This paper describes a camera-based observation system for football games that is used for the automatic analysis of football games and reasoning about multi-agent activity. The o...