Sciweavers

275 search results - page 38 / 55
» Structural Information Analysis for CLP Languages
Sort
View
132
Voted
ICFP
2002
ACM
16 years 3 months ago
Packrat parsing: : simple, powerful, lazy, linear time, functional pearl
Packrat parsing is a novel technique for implementing parsers in a lazy functional programming language. A packrat parser provides the power and flexibility of top-down parsing wi...
Bryan Ford
154
Voted
SIGIR
2004
ACM
15 years 9 months ago
Multiple sources of evidence for XML retrieval
Document-centric XML collections contain text-rich documents, marked up with XML tags. The tags add lightweight semantics to the text. Querying such collections calls for a hybrid...
Börkur Sigurbjörnsson, Jaap Kamps, Maart...
135
Voted
WCRE
2006
IEEE
15 years 9 months ago
Extracting Output Formats from Executables
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
Junghee Lim, Thomas W. Reps, Ben Liblit
186
Voted
CLEF
2009
Springer
15 years 1 months ago
Medical Image Retrieval: ISSR at CLEF 2009
This paper represents the first participation of the Institute of Statistical Studies and Research at Cairo University group in CLEF 2009-Medical image retrieval track. Our system...
Waleed Arafa, Ragia Ibrahim
115
Voted
CCS
2008
ACM
15 years 5 months ago
Minimal backups of cryptographic protocol runs
As cryptographic protocols execute they accumulate information such as values and keys, and evidence of properties about this information. As execution proceeds, new information b...
Jay A. McCarthy, Shriram Krishnamurthi