1011 search results - page 102 / 203 » Numerical Constraints for XML |
182
click to vote
QEST
2005
IEEE
16 years 1 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
167
click to vote
IDEAL
2005
Springer
15 years 12 months ago
2005
Springer
Consider a network of unreliable links, each of which comes with a certain price and reliability. Given a fixed budget, which links should be bought in order to maximize the syste...
170
click to vote
ISIPTA
2003
IEEE
15 years 11 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 ...
154
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
We propose a general methodology for approximating the Pareto front of multi-criteria optimization problems. Our search-based methodology consists of submitting queries to a constr...
145
click to vote
ICIAP
1997
ACM
15 years 10 months ago
1997
ACM
A two-step parameter-free approach for non-rigid medical image registration is presented. Displacements of boundary structures are computed in the rst step and then incorporated a...