12774 search results - page 2207 / 2555 » A Framework for Proof Systems |
222
click to vote
ACCV
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper introduces a new model-based approach for simultaneously reconstructing 3D human motion and full-body skeletal size from a small set of 2D image features track...
191
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Affect has been the subject of increasing attention in cognitive accounts of learning. Many intelligent tutoring systems now seek to adapt pedagogy to student affective and motivat...
144
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
In a team competition, two participating teams have an equal number of players, and each team orders its players linearly based on their strengths. A mechanism then specifies how...
191
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Distributed Constraint Optimization (DCOP) provides a rich framework for modeling multi-agent coordination problems. Existing problem domains for DCOP focus on small (<100 vari...
184
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes the integration of semantic information drawn from a web application’s domain knowledge into all phases of the web usage mining process (preprocessing, patte...