1465 search results - page 161 / 293 » Making the Correct Mistakes |
200
click to vote
LICS
2007
IEEE
16 years 22 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
171
click to vote
WACV
2007
IEEE
16 years 21 days ago
2007
IEEE
Facial feature localization is an important research area in both computer vision and pattern analysis. We present in this paper a hierarchical face model. It unifies both the gl...
170
click to vote
AGTIVE
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we will define a custom term-graph reduction system for a simplified lazy functional language. Our custom system is geared towards flexibility, which is accomplis...
159
click to vote
AIED
2007
Springer
16 years 19 days ago
2007
Springer
SimStudent is a machine-learning agent that learns cognitive skills by demonstration. SimStudent was originally built as a building block for Cognitive Tutor Authoring Tools to hel...
213
click to vote
CEFP
2007
Springer
16 years 19 days ago
2007
Springer
This tutorial paper aims to provide the necessary expertise for working with the proof assistant Sparkle, which is dedicated to the lazy functional programming language Clean. The ...