Sciweavers

3951 search results - page 361 / 791
» Automatic amortized analysis
Sort
View
CP
2006
Springer
15 years 10 months ago
Generating Propagators for Finite Set Constraints
Ideally, programming propagators as implementations of constraints should be an entirely declarative specification process for a large class of constraints: a high-level declarativ...
Guido Tack, Christian Schulte, Gert Smolka
HYBRID
2000
Springer
15 years 10 months ago
Computing Optimal Operation Schemes for Chemical Plants in Multi-batch Mode
We propose a computer-aided methodology to automatically generate time optimal production schemes for chemical batch plants operating in multi-batch mode. Our approach is based on ...
Peter Niebert, Sergio Yovine
BMVC
2002
15 years 9 months ago
Improving architectural 3D reconstruction by plane and edge constraining
This paper presents new techniques for improving the structural quality of automatically acquired architectural 3D models. Common architectural features like parallelism and ortho...
H. Cantzler, Robert B. Fisher, Michel Devy
BNCOD
2007
137views Database» more  BNCOD 2007»
15 years 8 months ago
How to Determine Output Schemas of XQuery Queries
The XQuery language is the standard query language for XML. The result of XQuery queries are typically XML documents in other formats. We introduce the term output schemas of an X...
Sven Groppe, Jinghua Groppe, Volker Linnemann
LREC
2010
151views Education» more  LREC 2010»
15 years 8 months ago
A Multilayered Declarative Approach to Cope with Morphotactics and Allomorphy in Derivational Morphology
This paper deals with the derivational morphology of automatic word form recognition. It presents a set of declarative rules which augment lexical entries with information governi...
Johannes Handl, Carsten Weber