Sciweavers

667 search results - page 21 / 134
» Total parser combinators
Sort
View
FSE
2000
Springer
128views Cryptology» more  FSE 2000»
15 years 1 months ago
Ciphertext Only Reconstruction of Stream Ciphers Based on Combination Generators
This paper presents an operational reconstruction technique of most stream ciphers. We primarily expose it for key-stream generators which consist of several linear feedback shift ...
Anne Canteaut, Eric Filiol
FROCOS
2005
Springer
15 years 3 months ago
ATS: A Language That Combines Programming with Theorem Proving
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
Sa Cui, Kevin Donnelly, Hongwei Xi
CIKM
1999
Springer
15 years 1 months ago
A Unified Environment for Fusion of Information Retrieval Approaches
Prior work has shown that combining results of various retrieval approaches and query representations can improve search effectiveness. Today, many meta-search engines exist which...
M. Catherine McCabe, Abdur Chowdhury, David A. Gro...
112
Voted
AAAI
2007
14 years 12 months ago
ASKNet: Automatically Generating Semantic Knowledge Networks
The ASKNet project uses a combination of NLP tools and spreading activation to transform natural language text into semantic knowledge networks. Network fragments are generated fr...
Brian Harrington
INTERSPEECH
2010
14 years 4 months ago
Combining many alignments for speech to speech translation
Alignment combination (symmetrization) has been shown to be useful for improving Machine Translation (MT) models. Most existing alignment combination techniques are based on heuri...
Sameer Maskey, Steven J. Rennie, Bowen Zhou