3082 search results - page 406 / 617 » Deviation Analysis: A New Use of Model Checking |
157
click to vote
ICTAI
2006
IEEE
16 years 15 days ago
2006
IEEE
Pharmaceutic studies require to analyze thousands of ECGs in order to evaluate the side effects of a new drug. In this paper we present a new approach to automatic ECG segmentatio...
203
click to vote
TMI
2002
15 years 6 months ago
2002
This paper presents a fully automated segmentation method for medical images. The goal is to localize and parameterize a variety of types of structure in these images for subsequen...
131
click to vote
LSSC
2005
Springer
15 years 12 months ago
2005
Springer
We propose a new class of Discontinuous Galerkin (DG) methods based on variational multiscale ideas. Our approach begins with an additive decomposition of the discontinuous finite...
206
click to vote
ESWA
2011
15 years 1 months ago
2011
Business process models are becoming available in large numbers due to their popular use in many industrial applications such as enterprise and quality engineering projects. On th...
190
click to vote
STORAGESS
2005
ACM
16 years 18 hour ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...