1968 search results - page 64 / 394 » The Complexity of Valued Constraint Models |
HICSS
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
149
click to vote
RTAS
1998
IEEE
15 years 5 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
ANOR
2010
15 years 1 months ago
2010
We consider mixed-integer recourse (MIR) models with a single recourse constraint. We relate the second-stage value function of such problems to the expected simple integer recour...
146
click to vote
MICCAI
1998
Springer
15 years 5 months ago
1998
Springer
This paper describes a method for creating object surfaces from binary-segmented data that are free from aliasing and terracing artifacts. In this method, a net of linked surface n...
CORR
2008
Springer
15 years 1 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic