3082 search results - page 299 / 617 » Deviation Analysis: A New Use of Model Checking |
192
Voted
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
155
click to vote
ICTAI
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper we present a new approach for curve clustering designed for analysis of spatiotemporal data. Such kind of data contains both spatial and temporal patterns that we de...
184
click to vote
ICMCS
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper proposes a new approach for the human motion analysis. The main contribution comes from the proposed representation of the human body. Most of already existing systems ...
206
click to vote
IJCNN
2006
IEEE
16 years 20 days ago
2006
IEEE
With very noisy data, having plentiful samples eliminates overfitting in nonlinear regression, but not in nonlinear principal component analysis (NLPCA). To overcome this problem...
153
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...