8025 search results - page 1012 / 1605 » Combinators Introduction: An Algorithm |
235
click to vote
ICMI
2005
Springer
16 years 28 days ago
2005
Springer
In this paper, we present a novel approach for tracking a lecturer during the course of his speech. We use features from multiple cameras and microphones, and process them in a jo...
246
Voted
IEAAIE
2005
Springer
16 years 28 days ago
2005
Springer
Prediction is an important task in robot motor control where it is used to gain feedback for a controller. With such a self-generated feedback, which is available before sensor rea...
228
Voted
KNINVI
2005
Springer
16 years 28 days ago
2005
Springer
Information visualization has been a research topic for many years, leading to a mature field where guidelines and practices are well established. Knowledge visualization, in contr...
219
click to vote
LPAR
2005
Springer
16 years 28 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
188
click to vote
PCM
2005
Springer
16 years 28 days ago
2005
Springer
In this paper, we are proposing a new mechanism for controlling 3D (three dimensional) avatars to create user-designed peculiar motions of avatars in real-time using general interf...