Sciweavers

2291 search results - page 234 / 459
» Representational Reasoning and Verification
Sort
View
94
Voted
UAI
2004
15 years 2 months ago
Dynamic Programming for Structured Continuous Markov Decision Problems
We describe an approach for exploiting structure in Markov Decision Processes with continuous state variables. At each step of the dynamic programming, the state space is dynamica...
Zhengzhu Feng, Richard Dearden, Nicolas Meuleau, R...
91
Voted
ICPR
2010
IEEE
14 years 10 months ago
Discriminant and Invariant Color Model for Tracking under Abrupt Illumination Changes
The output from a color imaging sensor, or apparent color, can change considerably due to illumination conditions and scene geometry changes. In this work we take into account the...
Jorge Scandaliaris, Alberto Sanfeliu
125
Voted
AMSTERDAM
2009
14 years 10 months ago
Cumulative Readings of Every Do Not Provide Evidence for Events and Thematic Roles
An argument by Kratzer (2000) based on Schein (1986, 1993) does not conclusively show that events and thematic roles are necessary ingredients of the logical representation of natu...
Lucas Champollion
RWEB
2009
Springer
15 years 7 months ago
Description Logics
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
Franz Baader
ICCBR
1999
Springer
15 years 5 months ago
Shaping a CBR View with XML
Case Based Reasoning has found increasing application on the Internet as an assistant in Internet commerce stores and as a reasoning agent for online technical support. The strengt...
Conor Hayes, Padraig Cunningham