2374 search results - page 117 / 475 » Automatic Generation of Model Translations |
153
Voted
ENTCS
2008
15 years 4 months ago
2008
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
115
Voted
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—We present Huckleberry, a tool for automatically generating parallel implementations for multi-core platforms from sequential recursive divide-and-conquer programs. The recursiv...
114
Voted
EUROGRAPHICS
2010
Eurographics
16 years 1 months ago
2010
Eurographics
In this paper, we propose an automatic method for generating roads based on a weighted anisotropic shortest path algorithm. Given an input scene, we automatically create a path co...
136
click to vote
IPM
2007
15 years 4 months ago
2007
We show some limitations of the ROUGE evaluation method for automatic summarization. We present a method for automatic summarization based on a Markov model of the source text. By...
131
Voted
VL
2008
IEEE
15 years 11 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...