601 search results - page 51 / 121 » CSP(M): Constraint Satisfaction Problem over Models |
119
click to vote
VMCAI
2007
Springer
15 years 7 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
101
click to vote
NIPS
2007
15 years 2 months ago
2007
The expectation maximization (EM) algorithm is a widely used maximum likelihood estimation procedure for statistical models when the values of some of the variables in the model a...
116
click to vote
BIRTHDAY
2003
Springer
15 years 6 months ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...
117
Voted
EDBT
2006
ACM
16 years 1 months ago
2006
ACM
Scientific data in the life sciences is distributed over various independent multi-format databases and is constantly expanding. We discuss a scenario where a life science research...
144
click to vote
ECAI
1992
Springer
15 years 5 months ago
1992
Springer
Constraint satisfaction problems (CSPs) provide a model often used in Artificial Intelligence. Since the problem of the existence of a solution in a CSP is an NP-complete task, man...