One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
In Computer Mediated Communication such as desktop video conferencing, static video cameras provide a restricted field of view of remote sites. The effective field of view can be ...
Solid Freeform Fabrication and Shape Deposition are rapid manufacturing processes which build parts by incremental material deposition and fusion of cross-sectional layers. In thi...
K. Hartmann, R. Krishnan, R. Merz, G. Neplotnik, F...
Abstract-- This paper deals with an architecture for knowledge representation suitable for integrated Robotics and Ambient Intelligence applications. The aim of the work is to adop...
Francesco Capezio, Fulvio Mastrogiovanni, Antonio ...
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...