573 search results - page 79 / 115 » Diagnosis of Discrete-Event Systems Using Satisfiability Alg... |
104
click to vote
FOSSACS
1999
Springer
15 years 2 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
VLDB
1999
ACM
15 years 2 months ago
1999
ACM
On-Line Analytical Processing (OLAP) based on a dimensional view of data is being used increasingly for the purpose of analyzing very large amounts of data. To improve query perfo...
ECCV
2004
Springer
15 years 3 months ago
2004
Springer
3D reconstruction from image data is required in many medical procedures. Recently, the use of fluoroscopy data to generate these 3D models has been explored. Most existing methods...
IPMI
2005
Springer
15 years 10 months ago
2005
Springer
Having accurate left ventricle (LV) segmentations across a cardiac cycle provides useful quantitative (e.g. ejection fraction) and qualitative information for diagnosis of certain ...
IJAR
2008
14 years 9 months ago
2008
Cooperative multiagent probabilistic inference can be applied in areas such as building surveillance and complex system diagnosis to reason about the states of the distributed unc...