Sciweavers

592 search results - page 66 / 119
» Using Constraint Programming to Solve the Maximum Clique Pro...
Sort
View
AAI
2004
89views more  AAI 2004»
15 years 3 months ago
Distributed And Devolved Work Allocation Planning
Work allocation planning is a vital and notoriously difficult task in areas characterised by large work forces, contiguous and sometimes overlapping shifts, regulatory and corpora...
Graham Winstanley
ICLP
2010
Springer
15 years 7 months ago
Abductive Inference in Probabilistic Logic Programs
ABSTRACT. Action-probabilistic logic programs (ap-programs) are a class of probabilistic logic programs that have been extensively used during the last few years for modeling behav...
Gerardo I. Simari, V. S. Subrahmanian
BIS
2008
119views Business» more  BIS 2008»
15 years 4 months ago
Fuzzy Constraint-based Schema Matching Formulation
The deep Web has many challenges to be solved. Among them is schema matching. In this paper, we build a conceptual connection between the schema matching problem SMP and the fuzzy ...
Alsayed Algergawy, Eike Schallehn, Gunter Saake
AAECC
1999
Springer
82views Algorithms» more  AAECC 1999»
15 years 2 months ago
Reasoning over Networks by Symbolic Methods
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
Thomas Sturm
CDC
2009
IEEE
211views Control Systems» more  CDC 2009»
15 years 7 months ago
An event-triggered distributed primal-dual algorithm for Network Utility maximization
Abstract— Many problems associated with networked systems can be formulated as network utility maximization (NUM) problems. NUM problems maximize a global separable measure of ne...
Pu Wan, Michael D. Lemmon