1968 search results - page 125 / 394 » The Complexity of Valued Constraint Models |
130
click to vote
BIRTHDAY
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...
107
click to vote
ISIPTA
2003
IEEE
15 years 6 months ago
2003
IEEE
A second-order hierarchical uncertainty model of a system of independent random variables is studied in the paper. It is shown that the complex nonlinear optimization problem for ...
101
Voted
FORMATS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. This paper presents a model-checking approach for analyzing discrete-time Markov reward models. For this purpose, the temporal logic probabilistic CTL is extended with re...
TOSEM
2002
15 years 1 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
ICS
2005
Tsinghua U.
15 years 7 months ago
2005
Tsinghua U.
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...