4693 search results - page 577 / 939 » Verifying Hybrid Systems |
151
click to vote
TACAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
185
Voted
AMFG
2003
IEEE
16 years 4 days ago
2003
IEEE
The Active Wavelet Network (AWN) [9] approach was recently proposed for automatic face alignment, showing advantages over Active Appearance Models (AAM), such as more robustness a...
198
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...
168
click to vote
ICDAR
2003
IEEE
16 years 4 days ago
2003
IEEE
This paper presents a multi-expert system for dynamic signature verification. The system uses a stroke-oriented description of signatures well-suited for multi-expert approach. Ea...
151
Voted
ISCAS
2003
IEEE
16 years 3 days ago
2003
IEEE
In modern System-on-Chip (SoC) designs verification becomes the major bottleneck. Since by using state-of-theart techniques complete designs cannot be fully formally verified, it ...