521 search results - page 48 / 105 » Timing Verification Using HDTV |
CHI
2010
ACM
15 years 3 months ago
2010
ACM
Both handwriting recognition systems and their users are error prone. Handwriting recognizers make recognition errors, and users may miss those errors when verifying output. As a ...
ENTCS
2002
14 years 9 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
SP
2000
IEEE
15 years 2 months ago
2000
IEEE
Nested certification is a methodology for efficient certificate path verification. Nested certificates can be used together with classical certificates in the Public Key Infrastru...
DSD
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
ICPR
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper proposes a method for period-based gait trajectory matching in the eigenspace using phase synchronization for low frame-rate videos. First, a gait period is detected by ...