262 search results - page 5 / 53 » Hybrid Constraints in Automated Model Synthesis and Model Pr... |
CAISE
2004
Springer
15 years 2 months ago
2004
Springer
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
GECCO
2003
Springer
15 years 2 months ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...
CVPR
1997
IEEE
15 years 1 months ago
1997
IEEE
We present an incremental system that builds accurate CAD models of objects from multiple range images. Using a hybrid of surface mesh and volumetric representations, the system c...
DAC
1999
ACM
15 years 1 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...
WSFM
2007
Springer
15 years 3 months ago
2007
Springer
We present and compare existing formalisms that consider the control of Petri net process models in the area of business processes and web services. Control has the aim to force a ...