Sciweavers

5232 search results - page 141 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
BIRTHDAY
2005
Springer
15 years 7 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
113
Voted
CIARP
2007
Springer
15 years 8 months ago
Multi-class Binary Object Categorization Using Blurred Shape Models
The main difficulty in the binary object classification field lays in dealing with a high variability of symbol appearance. Rotation, partial occlusions, elastic deformations, or...
Sergio Escalera, Alicia Fornés, Oriol Pujol...
130
Voted
BIOADIT
2004
Springer
15 years 7 months ago
Distributed Central Pattern Generator Model for Robotics Application Based on Phase Sensitivity Analysis
Abstract. A method is presented to predict phase relationships between coupled phase oscillators. As an illustration of how the method can be applied, a distributed Central Pattern...
Jonas Buchli, Auke Jan Ijspeert
98
Voted
MODELLIERUNG
2008
15 years 3 months ago
Integrating Template-Based Code Generation into Graphical Model Transformation
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
Martin Girschick
AGTIVE
2007
Springer
15 years 5 months ago
Generating Domain-Specific Model Editors with Complex Editing Commands
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
Gabriele Taentzer, André Crema, René...