5423 search results - page 119 / 1085 » Denial-of-service in automation systems |
136
click to vote
TPHOL
1992
IEEE
15 years 10 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
166
click to vote
FLOPS
2006
Springer
15 years 10 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
146
click to vote
IJCAI
2003
15 years 7 months ago
2003
This paper demonstrates the applicability of automated reasoning to text processing, specifically to Question Answering. It is shown that the approach is feasible, effective, and ...
146
click to vote
CSL
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes a hand-written rule-based grapheme-to-phoneme (GTP) conversion system for Korean built within the Festival text-to-speech (TTS) synthesis framework. The core ...