1205 search results - page 183 / 241 » Program Extraction from Large Proof Developments |
105
click to vote
IMC
2006
ACM
15 years 7 months ago
2006
ACM
While the problem of analyzing network traffic at the granularity of individual connections has seen considerable previous work and tool development, understanding traffic at a ...
135
click to vote
IPPS
2003
IEEE
15 years 6 months ago
2003
IEEE
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
142
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Predicting the occurrence of links is a fundamental problem in networks. In the link prediction problem we are given a snapshot of a network and would like to infer which interact...
114
click to vote
RECOMB
2006
Springer
16 years 1 months ago
2006
Springer
We study the problem of enumerating substrings that are common amongst genomes that share evolutionary descent. For example, one might want to enumerate all identical (therefore co...
120
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Genome databases contain diverse kinds of information, including gene annotations and nucleotide and amino acid sequences. It is not easy to integrate such information...