2210 search results - page 273 / 442 » CLEF 2001 - Overview of Results |
182
click to vote
PAPM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
171
click to vote
PCM
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. In this paper, we investigate the problem of classifying a subset of environmental sounds in movie audio tracks that indicate specific indexical semiotic use. These envi...
130
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
164
click to vote
RECOMB
2001
Springer
15 years 10 months ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
164
click to vote
SSD
2001
Springer
15 years 10 months ago
2001
Springer
The development of spatiotemporal database systems is primarily motivated by applications tracking and presenting mobile objects. Another important trend is the visualization and p...