2725 search results - page 125 / 545 » Constraint Solving for Interpolation |
171
click to vote
ICSOC
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Service-based systems should be able to dynamically seek replacements for faulty or underperforming services, thus performing self-healing. It may however be the case tha...
120
click to vote
TIT
2011
14 years 11 months ago
2011
—The capacity of 1-D constraints is given by the entropy of a corresponding stationary maxentropic Markov chain. Namely, the entropy is maximized over a set of probability distri...
193
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
We show that aggregate constraints (as opposed to pairwise constraints) that often arise when integrating multiple sources of data, can be leveraged to enhance the quality of dedu...
134
click to vote
CPAIOR
2009
Springer
15 years 10 months ago
2009
Springer
Context-free grammar constraints enforce that a sequence of variables forms a word in a language defined by a context-free grammar. The constraint has received a lot of attention ...
118
click to vote
ICTAI
2005
IEEE
15 years 9 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...