2312 search results - page 44 / 463 » Invariance in Property Testing |
97
Voted
AMC
2006
15 years 15 days ago
2006
The Fisher equation, which arises in the study of reaction diffusion waves in biology, does not display a high level of symmetry properties. Consequently, only travelling wave sol...
CAV
2009
Springer
16 years 1 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
83
Voted
VTS
1999
IEEE
15 years 4 months ago
1999
IEEE
A low-cost on-line test scheme for digital filters is proposed. The scheme uses an invariant of the digital filter, the frequency response at specific points, in order to detect p...
101
Voted
AUTOMATICA
2008
14 years 11 months ago
2008
The solvability of the regulator equation for a general nonlinear system is discussed in this paper by using geometric method. The `feedback' part of the regulator equation, ...
109
Voted
ICANN
2010
Springer
15 years 1 months ago
2010
Springer
3D shape determines an object's physical properties to a large degree. In this article, we introduce an autonomous learning system for categorizing 3D shape of simulated objec...