Sciweavers

2344 search results - page 187 / 469
» Generating from a Deep Structure
Sort
View
116
Voted
ICDAR
2003
IEEE
15 years 9 months ago
Graph Grammar Based Analysis System of Complex Table Form Document
Structure analysis of table form document is important because printed documents and also electronical documents only provide geometrical layout and lexical information explicitly...
Akira Amano, Naoki Asada
148
Voted
FOSSACS
2007
Springer
15 years 9 months ago
Logical Reasoning for Higher-Order Functions with Local State
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
Nobuko Yoshida, Kohei Honda, Martin Berger
FASE
2008
Springer
15 years 5 months ago
Translating Model Simulators to Analysis Models
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
Juan de Lara, Hans Vangheluwe
137
Voted
FAC
2010
148views more  FAC 2010»
15 years 2 months ago
Automating the transformation-based analysis of visual languages
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
Juan de Lara, Hans Vangheluwe
170
Voted
TOG
2012
255views Communications» more  TOG 2012»
13 years 6 months ago
A probabilistic model for component-based shape synthesis
We present an approach to synthesizing shapes from complex domains, by identifying new plausible combinations of components from existing shapes. Our primary contribution is a new...
Evangelos Kalogerakis, Siddhartha Chaudhuri, Daphn...