Sciweavers

2593 search results - page 44 / 519
» constraints 2007
Sort
View
MEDINFO
2007
102views Healthcare» more  MEDINFO 2007»
15 years 5 months ago
Automatic Treatment of Temporal Issues in Clinical Guidelines in the GLARE System
Temporal constraints play a fundamental role in clinical guidelines. For example, temporal indeterminacy, constraints about duration, delays between actions and periodic repetitio...
Luca Anselma, Paolo Terenziani, Stefania Montani, ...
CIRA
2007
IEEE
136views Robotics» more  CIRA 2007»
15 years 10 months ago
Algebraic interval constraint driven exploration in human-agent collaborative problem solving
—To enable effective human-agent collaboration, new human-centric computing paradigms are needed. This paper presents a soft constraint representation scheme based on generalized...
Yan Wang
SAT
2007
Springer
81views Hardware» more  SAT 2007»
15 years 10 months ago
Short XORs for Model Counting: From Theory to Practice
Abstract. A promising approach for model counting was recently introduced, which in theory requires the use of large random xor or parity constraints to obtain near-exact counts of...
Carla P. Gomes, Jörg Hoffmann, Ashish Sabharw...
FIW
2003
15 years 5 months ago
eSERL: Feature Interaction Management in Parlay/OSA using Composition Constraints and Configuration Rules
SERL is a language and framework for managing the triggering and execution of services in a single-user, single-network-component (SUSC) environment. We propose enhancements to SER...
A. De Marco, Ferhat Khendek
CPAIOR
2007
Springer
15 years 10 months ago
The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width
We show how to efficiently model binary constraint problems (BCP) as integer programs. After considering tree-structured BCPs first, we show that a Sherali-Adams-like procedure r...
Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal