4930 search results - page 199 / 986 » Testing a Safety-Critical Application |
156
click to vote
ISM
2006
IEEE
16 years 16 days ago
2006
IEEE
A mobile Digital Rights Management platform is proposed that follows the DRM reference architecture while including several important functions lacking in the OMA DRM. The platfor...
150
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes the character recognition process from printed documents containing Hindi and Telugu text. Hindi and Telugu are among the most popular languages in India. The...
151
click to vote
CL
2000
Springer
15 years 11 months ago
2000
Springer
Logic programming rules are provided to capture the rules governing formal poetry in Spanish. The resulting logic program scans verses in Spanish to provide their metric analysis. ...
174
click to vote
DAC
1990
ACM
15 years 10 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
156
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents an approach, and the associated environment, aiming to support designers to intuitively model interactive applications. The goal is to make modelling activity m...