Sciweavers

8413 search results - page 250 / 1683
» Ordering Problem Subgoals
Sort
View
EMNLP
2011
14 years 18 days ago
Syntax-Based Grammaticality Improvement using CCG and Guided Search
Machine-produced text often lacks grammaticality and fluency. This paper studies grammaticality improvement using a syntax-based algorithm based on CCG. The goal of the search pr...
Yue Zhang 0004, Stephen Clark
76
Voted
GECCO
2006
Springer
133views Optimization» more  GECCO 2006»
15 years 4 months ago
Evolutionary search for optimal combinations of markers in clothing manufacturing
Optimizing combinations of placements of parts, known as markers, is an important preparatory step in order-based industrial production of clothes. Given a work order in the form ...
Bogdan Filipic, Iztok Fister, Marjan Mernik
110
Voted
LPAR
2007
Springer
15 years 7 months ago
Completeness and Decidability in Sequence Logic
Sequence logic is a parameterized logic where the formulas are sequences of formulas of some arbitrary underlying logic. The sequence formulas are interpreted in certain linearly o...
Marc Bezem, Tore Langholm, Michal Walicki
VLDB
2001
ACM
93views Database» more  VLDB 2001»
15 years 5 months ago
Transaction Timestamping in (Temporal) Databases
Many database applications need accountability and trace-ability that necessitate retaining previous database states. For a transaction-time database supporting this, the choice o...
Christian S. Jensen, David B. Lomet
CPAIOR
2009
Springer
15 years 7 months ago
Six Ways of Integrating Symmetries within Non-overlapping Constraints
Abstract: This paper introduces six ways for handling a chain of lexicographic ordering constraint between the origins of identical orthotopes (e.g., rectangles, boxes, hyper-recta...
Magnus Ågren, Nicolas Beldiceanu, Mats Carls...