Sciweavers

1938 search results - page 259 / 388
» Fusion
Sort
View
PLDI
1997
ACM
14 years 1 months ago
Two for the Price of One: Composing Partial Evaluation and Compilation
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...
Michael Sperber, Peter Thiemann
FGR
1996
IEEE
167views Biometrics» more  FGR 1996»
14 years 1 months ago
Coordination of Perceptual Processes for Computer Mediated Communication
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 ...
Joëlle Coutaz, François Bérard,...
ICRA
1994
IEEE
80views Robotics» more  ICRA 1994»
14 years 1 months ago
Robot-Assisted Shape Deposition Manufacturing
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...
AIIA
2007
Springer
14 years 1 months ago
Mobile Robots and Intelligent Environments
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 ...
ASPDAC
2007
ACM
98views Hardware» more  ASPDAC 2007»
14 years 1 months ago
Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation
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...
Marc Boule, Zeljko Zilic