6608 search results - page 1206 / 1322 » On the Completeness of Model Checking |
149
Voted
ICONIP
2010
15 years 2 months ago
2010
Memory is often considered to be embedded into one of the attractors in neural dynamical systems, which provides an appropriate output depending on the initial state specified by ...
149
click to vote
ICST
2010
IEEE
15 years 2 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...
156
click to vote
PAMI
2008
15 years 2 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...
131
click to vote
ISVD
2010
IEEE
15 years 2 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...
155
Voted
IV
2010
IEEE
15 years 2 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...