543 search results - page 27 / 109 » Overview of WebCLEF 2007 |
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
We give an overview of a proof-producing compiler which translates recursion equations, defined in higher order logic, to assembly language. The compiler is implemented and valida...
IVA
2007
Springer
14 years 1 months ago
2007
Springer
This paper provides a brief overview of an implicit training method used for teaching autonomous agents to represent humans in 3D Virtual Worlds without any explicit training effo...
CANDC
2007
ACM
13 years 11 months ago
2007
ACM
This paper reports on a transdisciplinary undergraduate university course designed to bring together fine art/visual communication design and computer science students for the cre...
ECOOPW
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This report gives an overview of the sixth Workshop on Formal Techniques for Java-like Programs at ECOOP 2004. It explains the motivation for the a workshop and summarise...
CLEF
2008
Springer
13 years 9 months ago
2008
Springer
The present article presents the steps involved in the transformation of the TE system that was used in the RTE3 competition in 2007 for the AVE 2008 exercise. We describe the rule...