Sciweavers

782 search results - page 61 / 157
» Can a Parser be Generated from Examples
Sort
View
CODES
1999
IEEE
15 years 8 months ago
Co-design tool construction using APICES
In this paper, we present our approach to automate the development process of co-design tools. We demonstrate with a non-trivial real world example how we can accelerate the tool ...
Ansgar Bredenfeld
ECSCW
1997
15 years 5 months ago
Rethinking CSCW systems: The architecture of Milano
: After eleven years, CSCW is a well recognized research field which has generated, among other things, some new theoretical findings on work practices and cooperation and some new...
Alessandra Agostini, Giorgio De Michelis, Maria An...
AROBOTS
2002
126views more  AROBOTS 2002»
15 years 3 months ago
Selecting Landmarks for Localization in Natural Terrain
We describe techniques to optimally select landmarks for performing mobile robot localization by matching terrain maps. The method is based upon a maximum-likelihood robot localiza...
Clark F. Olson
TII
2010
166views Education» more  TII 2010»
14 years 10 months ago
Source-to-Source Architecture Transformation for Performance Optimization in BIP
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
Marius Bozga, Mohamad Jaber, Joseph Sifakis
MICS
2010
92views more  MICS 2010»
15 years 2 months ago
Specifying Rewrite Strategies for Interactive Exercises
Strategies specify how a wide range of exercises can be solved incrementally, such as bringing a logic proposition to disjunctive normal form, reducing a matrix, or calculating wit...
Bastiaan Heeren, Johan Jeuring, Alex Gerdes