6167 search results - page 156 / 1234 » Can Refinement be Automated |
134
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
126
click to vote
ICBA
2004
Springer
15 years 10 months ago
2004
Springer
This paper addresses the problem of developing an automated system for postmortem identification using dental records. The Automated Dental Identification System (ADIS) can be use...
148
click to vote
RTA
2004
Springer
15 years 10 months ago
2004
Springer
We describe the system AProVE, an automated prover to verify (innermost) termination of term rewrite systems (TRSs). For this system, we have developed and implemented efficient al...
123
click to vote
SETN
2004
Springer
15 years 10 months ago
2004
Springer
Collecting digital materials is time-consuming and can gain from automation. Since each source—and even each acquisition—may involve a separate negotiation of terms, a collecto...
132
click to vote
CPAIOR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...