1477 search results - page 203 / 296 » Pattern Matching with Swaps |
BIOCOMP
2008
13 years 10 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 ...
FORTE
2010
13 years 10 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&#...
DGO
2008
13 years 10 months ago
2008
This paper presents a new approach to identifying concepts expressed in a collection of email messages, and organizing them into an ontology or taxonomy for browsing. It incorpora...
AAAI
2006
13 years 10 months ago
2006
While computers have defeated the best human players in many classic board games, progress in Go remains elusive. The large branching factor in the game makes traditional adversar...
APVIS
2006
13 years 10 months ago
2006
The analysis of network motifs, patterns of local interconnections with potential functional properties, has applications in many fields of science. Network motif analysis is part...