2523 search results - page 296 / 505 » Correct Development of Embedded Systems |
130
click to vote
CHARME
2003
Springer
15 years 6 months ago
2003
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complete ...
125
click to vote
ISCI
2008
15 years 2 months ago
2008
Spelling speech recognition can be applied for several purposes including enhancement of speech recognition systems and implementation of name retrieval systems. This paper presen...
126
Voted
RAID
2010
Springer
15 years 28 days ago
2010
Springer
Malicious software includes functionality designed to block discovery or analysis by defensive utilities. To prevent correct attribution of undesirable behaviors to the malware, it...
110
Voted
JCIT
2010
14 years 9 months ago
2010
Preprocessing, a major component of Character Recognition System, has direct effect on the recognition system by its performance. A preprocessing method for NaXi Pictograph Charac...
116
Voted
ALT
1994
Springer
15 years 6 months ago
1994
Springer
This paper presents a method of extracting subprograms from background knowledge. Most studies on learning logic programs so far developed are mainly concerned with pure Prolog, so...