Sciweavers

1477 search results - page 202 / 296
» Pattern Matching with Swaps
Sort
View
CC
2005
Springer
195views System Software» more  CC 2005»
13 years 11 months ago
Compilation of Generic Regular Path Expressions Using C++ Class Templates
Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques ar...
Luca Padovani
CSB
2005
IEEE
132views Bioinformatics» more  CSB 2005»
13 years 11 months ago
A Fast Shotgun Assembly Heuristic
Genome sequencing opened a new era in genetics allowing the study of genomes at the nucleotide level. However, the chosen method of sequencing produced large numbers of nucleotide...
Christopher Wilks, Sami Khuri
FLOPS
2008
Springer
13 years 10 months ago
On-Demand Refinement of Dependent Types
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
Hiroshi Unno, Naoki Kobayashi
ACL
2007
13 years 10 months ago
Automatic Acquisition of Ranked Qualia Structures from the Web
This paper presents an approach for the automatic acquisition of qualia structures for nouns from the Web and thus opens the possibility to explore the impact of qualia structures...
Philipp Cimiano, Johanna Wenderoth
ACL
2007
13 years 10 months ago
Making Sense of Sound: Unsupervised Topic Segmentation over Acoustic Input
We address the task of unsupervised topic segmentation of speech data operating over raw acoustic information. In contrast to existing algorithms for topic segmentation of speech,...
Igor Malioutov, Alex Park, Regina Barzilay, James ...