747 search results - page 47 / 150 » An Alternative Representation for QBF |
ISIPTA
2003
IEEE
15 years 7 months ago
2003
IEEE
Let be a preference relation on a convex set F. Necessary and sufficient conditions are given that guarantee the existence of a set {ul} of affine utility functions on F such th...
GD
2009
Springer
15 years 6 months ago
2009
Springer
Recently, we have presented a new practical method for upward crossing minimization [4], which clearly outperformed existing approaches for drawing hierarchical graphs in that resp...
126
click to vote
AUSAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We use a Markov Chain Monte Carlo (MCMC) MML algorithm to learn hybrid Bayesian networks from observational data. Hybrid networks represent local structure, using conditi...
141
click to vote
FDL
2004
IEEE
15 years 5 months ago
2004
IEEE
The steadily increasing complexity of embedded systems requires comprehensive methodoloat support the design process from the highest possible abstraction level. In most of the cu...
134
click to vote
WSC
2007
15 years 4 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...