740 search results - page 18 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
BIRTHDAY
1991
Springer
13 years 12 months ago
1991
Springer
The goal of the MKRP project is the development of a theorem prover which can be used as an inference engine in various applications, in particular it should be capable of proving ...
AIED
2009
Springer
14 years 1 months ago
2009
Springer
EAGLE (Electronic Assistant for Game-Based Learning Experiences) is an intelligent tutoring system that supports learning with video games. We describe how a flexible ontology-base...
SAT
2009
Springer
14 years 3 months ago
2009
Springer
Most current propositional SAT solvers apply resolution at various stages to derive new clauses or simplify existing ones. The former happens during conflict analysis, while the l...
NETGAMES
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we report on our work to enable “laid-back” social interactions using television as a primary interaction medium and mobile devices that participate as a seconda...
ICCV
2005
IEEE
14 years 10 months ago
2005
IEEE
Face images of non-frontal views under poor illumination with low resolution reduce dramatically face recognition accuracy. This is evident most compellingly by the very low recog...