Sciweavers

1264 search results - page 62 / 253
» The framework approach for constraint satisfaction
Sort
View
ICIP
2009
IEEE
15 years 3 months ago
Task-oriented camera assignment in a video network
Camera assignment and hand-off are some of the key image processing problems in a video network. In this paper, we propose a new approach for camera assignment and handoff in a vi...
Yiming Li, Bir Bhanu
CAISE
2004
Springer
15 years 11 months ago
Towards a Semi-Automated Approach to Intermodel Transformation
This paper introduces an extension to the hypergraph data model used in the AutoMed data intergration approach that allows constraints common in static data modelling languages to ...
Michael Boyd, Peter McBrien
ICTL
1994
15 years 10 months ago
Abduction in Temporal Reasoning
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
Cristina Ribeiro, António Porto
ICLP
2009
Springer
16 years 6 months ago
Constraint Answer Set Solving
We present a new approach to integrating Constraint Processing (CP) techniques into Answer Set Programming (ASP). Based on an alternative semantic approach, we develop an algorithm...
Martin Gebser, Max Ostrowski, Torsten Schaub
AAAI
2006
15 years 7 months ago
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration
Interactive configurators are decision support systems assisting users in selecting values for parameters that respect given constraints. The underlying knowledge can be convenien...
Tarik Hadzic, Henrik Reif Andersen