Sciweavers

13841 search results - page 400 / 2769
» Algorithms and Constraint Programming
Sort
View
AIPS
2000
15 years 8 months ago
Merging Plans with Quantitative Temporal Constraints, Temporally Extended Actions, and Conditional Branches
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
Ioannis Tsamardinos, Martha E. Pollack, John F. Ho...
PVLDB
2010
119views more  PVLDB 2010»
15 years 5 months ago
Chase Termination: A Constraints Rewriting Approach
Several database areas such as data exchange and integration share the problem of fixing database instance violations with respect to a set of constraints. The chase algorithm so...
Francesca Spezzano, Sergio Greco
TMM
2008
112views more  TMM 2008»
15 years 6 months ago
Multimodal News Story Clustering With Pairwise Visual Near-Duplicate Constraint
Story clustering is a critical step for news retrieval, topic mining, and summarization. Nonetheless, the task remains highly challenging owing to the fact that news topics exhibit...
Xiao Wu, Chong-Wah Ngo, Alexander G. Hauptmann
FM
2003
Springer
96views Formal Methods» more  FM 2003»
16 years 2 days ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
EACL
2003
ACL Anthology
15 years 8 months ago
Well-Nested Parallelism Constraints for Ellipsis Resolution
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspecified semantics, covering scope, ell...
Katrin Erk, Joachim Niehren