573 search results - page 53 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
HYBRID
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...
FOCS
1998
IEEE
15 years 2 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
ECSQARU
2007
Springer
15 years 4 months ago
2007
Springer
We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
128
click to vote
CVPR
2009
IEEE
16 years 5 months ago
2009
IEEE
Automated detection of lesions in retinal images can assist
in early diagnosis and screening of a common disease:
Diabetic Retinopathy. A robust and computationally
efficient ap...
FROCOS
2000
Springer
15 years 1 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...