Sciweavers

7335 search results - page 80 / 1467
» Scene Based Reasoning
Sort
View
PAMI
2011
14 years 10 months ago
Color Constancy Using Natural Image Statistics and Scene Semantics
—Existing color constancy methods are all based on specific assumptions such as the spatial and spectral characteristics of images. As a consequence, no algorithm can be conside...
Arjan Gijsenij, Theo Gevers
JLP
1998
147views more  JLP 1998»
15 years 2 months ago
Automated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
Henning Christiansen
AAAI
2007
15 years 5 months ago
Beyond Individualism: Modeling Team Playing Behavior in Robot Soccer through Case-Based Reasoning
We propose a Case-Based Reasoning approach for action selection in the robot soccer domain presented in the 8th European Conference on Case-Based Reasoning (2006). Based on the cu...
Raquel Ros, Manuela M. Veloso, Ramon López ...
FM
2003
Springer
160views Formal Methods» more  FM 2003»
15 years 8 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
SCAI
2008
15 years 4 months ago
Explanatory Capabilities in the CREEK Knowledge-Intensive Case-Based Reasoner
The ability to give explanations for its reasoning and behaviour is a core capability of an intelligent system. There are a number of different goals a user can have towards such e...
Anders Kofod-Petersen, Jörg Cassens, Agnar Aa...