29 search results - page 3 / 6 » Sofic one head machines |
FGR
2002
IEEE
13 years 10 months ago
2002
IEEE
We present ongoing work on a project for automatic recognition of spontaneous facial actions. Spontaneous facial expressions differ substantially from posed expressions, similar t...
ICALT
2008
IEEE
13 years 11 months ago
2008
IEEE
Augmented Reality has been used in many areas and it has proved to be useful for storytelling. These systems are adequate for edutainment. In this paper, we present two Augmented ...
LISP
2007
13 years 5 months ago
2007
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...
ALT
2004
Springer
14 years 2 months ago
2004
Springer
A revision algorithm is a learning algorithm that identifies the target concept, starting from an initial concept. Such an algorithm is considered efficient if its complexity (in ...
ITNG
2007
IEEE
13 years 11 months ago
2007
IEEE
Lots of efforts in the last decades have been done to prove or disprove whether the set of polynomially bounded problems is equal to the set of polynomially verifiable problems. T...