Sciweavers

64 search results - page 1 / 13
» Synthesizing data structure transformations from input-outpu...
Sort
View
EDBT
2008
ACM
137views Database» more  EDBT 2008»
14 years 4 months ago
Synthesizing structured text from logical database subsets
In the classical database world, information access has been based on a paradigm that involves structured, schema-aware, queries and tabular answers. In the current environment, h...
Alkis Simitsis, Georgia Koutrika, Yannis Alexandra...
SIGGRAPH
2010
ACM
13 years 9 months ago
Synthesizing structured image hybrids
Example-based texture synthesis algorithms generate novel texture images from example data. A popular hierarchical pixel-based approach uses spatial jitter to introduce diversity,...
Eric Risser, Charles Han, Rozenn Dahyot, Eitan Gri...
IUI
2006
ACM
13 years 10 months ago
Interactive learning of structural shape descriptions from automatically generated near-miss examples
Sketch interfaces provide more natural interaction than the traditional mouse and palette tool, but can be time consuming to build if they have to be built anew for each new domai...
Tracy Hammond, Randall Davis
JCST
2008
114views more  JCST 2008»
13 years 4 months ago
Synthesizing Service Composition Models on the Basis of Temporal Business Rules
Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a...
Jian Yu, Yanbo Han, Jun Han, Yan Jin, Paolo Falcar...
CAV
2012
Springer
243views Hardware» more  CAV 2012»
11 years 7 months ago
SPT: Storyboard Programming Tool
elor Thesis: Demand Driven Abstraction Refinement Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, May 2004 • Secured 97.6 % marks in...
Rishabh Singh, Armando Solar-Lezama