1940 search results - page 148 / 388 » Graph Transformation with Variables |
113
Voted
CPAIOR
2004
Springer
15 years 9 months ago
2004
Springer
To improve solution robustness, we introduce the concept of super solutions to constraint programming. An (a, b)-super solution is one in which if a variables lose their values, th...
111
Voted
JGS
2010
15 years 2 months ago
2010
Qualitative spatial variables are important in many fields of research. However, unlike the decades-worth of research devoted to the spatial association of quantitative variables, ...
129
Voted
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
The ability to understand the factors contributing to parallel program performance are vital for understanding the impact of machine parameters on the performance of specific app...
111
Voted
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Programmers employing inference in Bayesian networks typically rely on the inclusion of the model as well as an inference engine into their application. Sophisticated inf...
130
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In MaxSat, we ask for an assignment which satisfies the maximum number of clauses for a boolean formula in CNF. We present an algorithm yielding a run time upper bound of O (2 K 6....