3082 search results - page 469 / 617 » Deviation Analysis: A New Use of Model Checking |
198
click to vote
TASE
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—A fast offset surface generation approach is presented in this paper to construct intersection-free offset surfaces, which preserve sharp features, from freeform triangu...
148
click to vote
ECCV
2000
Springer
16 years 8 months ago
2000
Springer
The initialisation of segmentation methods aiming at the localisation of biological structures in medical imagery is frequently regarded as a given precondition. In practice, howev...
179
click to vote
NIPS
1997
15 years 7 months ago
1997
I present an expectation-maximization (EM) algorithm for principal component analysis (PCA). The algorithm allows a few eigenvectors and eigenvalues to be extracted from large col...
184
click to vote
ICWL
2005
Springer
15 years 11 months ago
2005
Springer
: Discovering the relationship between behavior and personality of learner in the web-based learning environment is a key to guide learners in the learning process. This paper prop...
158
click to vote
WSC
2000
15 years 7 months ago
2000
Simulation models are often not used to their full potential in the decision-making process. The default simulation strategy of simple serial replication of fixed length runs mean...