3473 search results - page 614 / 695 » Searching the Web Using a Map |
122
Voted
JUCS
2006
15 years 3 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
116
Voted
NAR
2007
15 years 3 months ago
2007
The SUPERFAMILY database provides protein domain assignments, at the SCOP ‘superfamily’ level, for the predicted protein sequences in over 400 completed genomes. A superfamily...
143
Voted
NAR
2010
14 years 10 months ago
2010
High-throughput gene-expression studies result in lists of differentially expressed genes. Most current meta-analyses of these gene lists include searching for significant members...
193
Voted
EUROCON
2011
14 years 7 months ago
2011
—This paper focuses on Audio Event Detection (AED), a research area which aims to substantially enhance the access to audio in multimedia content. With the ever-growing quantity ...
134
Voted
SIGIR
2011
ACM
14 years 6 months ago
2011
ACM
The majority of the current information retrieval models weight the query concepts (e.g., terms or phrases) in an unsupervised manner, based solely on the collection statistics. I...