1580 search results - page 41 / 316 » CoTeSys - Cognition for Technical Systems |
171
click to vote
IJCAI
2001
15 years 7 months ago
2001
We provide technical details about the software and hardware architecture of SETA, a prototype toolkit for the creation of Web stores which personalize the interaction with custom...
157
click to vote
ENTCS
2007
15 years 6 months ago
2007
A model characterising strong normalisation for Klop’s extension of λ-calculus is presented. The main technical tools for this result are an inductive definition of strongly n...
133
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
This paper provides a general technical overview of the Multimedia Home Platform (MHP) specifications. MHP is a generic interface between digital applications and user machines, w...
137
click to vote
ITICSE
2005
ACM
15 years 11 months ago
2005
ACM
We explored two approaches for encouraging introductory programming students to use the web-based, selfassessment system, QuizPACK. An "organizational" approach applied ...
158
click to vote
FGR
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper addresses the accuracy problem of an eye gaze tracking system. We first analyze the technical barrier for a gaze tracking system to achieve desired accuracy, and then p...