889 search results - page 143 / 178 » Problems in Rewriting III |
CVPR
2012
IEEE
12 years 9 days ago
2012
IEEE
This paper addresses the problem of free gaze estimation under unrestricted head motion. More precisely, unlike previous approaches that mainly focus on estimating gaze towards a ...
RTA
2007
Springer
14 years 4 months ago
2007
Springer
The third Termination Competition took place in June 2006. We present the background, results and conclusions of this competition. 1 Motivation and history In the past decades seve...
GPCE
2004
Springer
14 years 3 months ago
2004
Springer
Scheme includes a simple yet powerful macro mechanism. Using macros, programmers can easily extend the language with new kinds of expressions and definitions, thus abstracting ove...
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
HPDC
1999
IEEE
14 years 2 months ago
1999
IEEE
Process checkpointing is a basic mechanism required for providing High Throughput Computing service on distributively owned resources. We present a new process checkpoint and migr...