3954 search results - page 670 / 791 » Image-based Model Completion |
131
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...
136
click to vote
ICTAC
2010
Springer
15 years 1 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
138
Voted
PAMI
2008
15 years 1 months ago
2008
Abstract-- This paper proposes a deterministic observer design for visual tracking based on non-parametric implicit (level-set) curve descriptions. The observer is continuous-discr...
117
Voted
ISVD
2010
IEEE
15 years 1 months ago
2010
IEEE
—We study the topology of the Megaparsec Cosmic Web on the basis of the Alpha Shapes of the galaxy distribution. The simplicial complexes of the alpha shapes are used to determin...
138
Voted
IV
2010
IEEE
15 years 1 months ago
2010
IEEE
Despite the growing number of systems providing visual analytic support for investigative analysis, few empirical studies include investigations on the analytical reasoning proces...