Sciweavers

4894 search results - page 695 / 979
» Dynamic Abstraction Planning
Sort
View
SC
1992
ACM
15 years 10 months ago
Heterogeneous Parallel Programming in Jade
This paper presents Jade, a high-level parallel programming language for managing coarse-grain concurrency. Jade simplifies programming by providing the programmer with the abstra...
Martin C. Rinard, Daniel J. Scales, Monica S. Lam
ESOP
1990
Springer
15 years 10 months ago
From Interpreting to Compiling Binding Times
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
Charles Consel, Olivier Danvy
173
Voted
ACCV
2009
Springer
15 years 10 months ago
Fingerspelling Recognition through Classification of Letter-to-Letter Transitions
Abstract. We propose a new principle for recognizing fingerspelling sequences from American Sign Language (ASL). Instead of training a system to recognize the static posture for ea...
Susanna Ricco, Carlo Tomasi
AGTIVE
2007
Springer
15 years 10 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...
AIIA
2007
Springer
15 years 10 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 ...