5525 search results - page 108 / 1105 » Verification of Model Transformations |
142
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...
130
Voted
WSC
2008
15 years 5 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
131
Voted
JDCTA
2010
14 years 10 months ago
2010
In tradition probability statistics model, speaker verification threshold is instability in different test situations. A novel speaker verification method based on Support Vector ...
176
click to vote
JSC
2010
14 years 10 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
133
click to vote
CVPR
2001
IEEE
16 years 5 months ago
2001
IEEE
The Error Correcting Output Coding (ECOC) approach to classifier design decomposes a multi-class problem into a set of complementary two-class problems. We show how to apply the E...