Sciweavers

667 search results - page 21 / 134
» Total parser combinators
Sort
View
FSE
2000
Springer
128views Cryptology» more  FSE 2000»
14 years 13 days 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
14 years 2 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
14 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...
AAAI
2007
13 years 11 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
13 years 3 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