Sciweavers

6456 search results - page 298 / 1292
» Constraint Solving on Terms
Sort
View
AI
2004
Springer
16 years 1 days ago
A Hybrid Schema for Systematic Local Search
Abstract. We present a new hybrid constraint solving schema which retains some systematicity of constructive search while incorporating the heuristic guidance and lack of commitmen...
William S. Havens, Bistra N. Dilkina
AAAI
2004
15 years 8 months ago
Low-cost Addition of Preferences to DTPs and TCSPs
We present an efficient approach to adding soft constraints, in the form of preferences, to Disjunctive Temporal Problems (DTPs) and their subclass Temporal Constraint Satisfactio...
Bart Peintner, Martha E. Pollack
EMNLP
2006
15 years 8 months ago
Incremental Integer Linear Programming for Non-projective Dependency Parsing
Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such a...
Sebastian Riedel, James Clarke
EOR
2007
90views more  EOR 2007»
15 years 6 months ago
Arc routing problems with time-dependent service costs
This paper studies an arc routing problem with capacity constraints and time-dependent service costs. This problem is motivated by winter gritting applications where the ‘‘tim...
Mariam Tagmouti, Michel Gendreau, Jean-Yves Potvin
CVPR
2010
IEEE
16 years 2 months ago
Robust Flash Deblurring
Motion blur due to camera shake is a annoying problem in low-light photography. In this paper, we propose a novel method to recover a sharp image from a pair of motion blurred and ...
Shaojie Zhuo, Dong Guo and Terence Sim