1798 search results - page 97 / 360 » Generating presentation constraints from rhetorical structur... |
SIBGRAPI
2005
IEEE
15 years 4 months ago
2005
IEEE
Generating triangular meshes from images is a task important to many applications. Usually, techniques that can do that either take as starting point a segmented image or generate...
ENTCS
2006
14 years 11 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
107
click to vote
CSL
2001
Springer
15 years 3 months ago
2001
Springer
Hyper tableau reasoning is a version of clausal form tableau reasoning where all negative literals in a clause are resolved away in a single inference step. Constrained hyper table...
POPL
2010
ACM
15 years 8 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
143
click to vote
LCTRTS
2001
Springer
15 years 3 months ago
2001
Springer
Phase-decoupled methods for code generation are the state of the art in compilers for standard processors but generally produce code of poor quality for irregular target architect...