1483 search results - page 204 / 297 » Warnings for pattern matching |
173
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
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...
122
click to vote
ACL
2007
15 years 7 months ago
2007
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...
164
click to vote
ACL
2007
15 years 7 months ago
2007
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,...
169
click to vote
BIOCOMP
2008
15 years 7 months ago
2008
Research in bioinformatics and computational biology relies heavily on algorithms that facilitate the understanding of biological processes through the application of statistical ...
175
click to vote
FORTE
2010
15 years 7 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...