146 search results - page 4 / 30 » Explicit Reflection in Prolog-Tutor |
CORR
2002
Springer
13 years 7 months ago
2002
Springer
The purpose of this paper is to address some criticisms recently raised by John Horty in two articles against the validity of two commonly accepted defeasible reasoning patterns, ...
AI
2001
Springer
13 years 11 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
IJCAI
2003
13 years 8 months ago
2003
In this paper, we evaluate the use of implicit interest indicators as the basis for user profiling in the Digital TV domain. Research in more traditional domains, such as Web brow...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
This paper presents a top-down approach to 3D data analysis by fitting a Morphable Model to scans of faces. In a unified framework, the algorithm optimizes shape, texture, pose an...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...