544 search results - page 27 / 109 » Overview of QAST 2007 |
131
click to vote
CAI
2007
Springer
15 years 6 months ago
2007
Springer
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
118
click to vote
ESOP
2007
Springer
15 years 6 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
15 years 6 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
15 years 3 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
15 years 3 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...