4743 search results - page 898 / 949 » The PlusCal Algorithm Language |
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. We consider the problem of automatically verifying realtime systems with continuously distributed random delays. We generalise probabilistic timed automata introduced in ...
SIGIR
1999
ACM
14 years 1 months ago
1999
ACM
We propose a new probabilistic approach to information retrieval based upon the ideas and methods of statistical machine translation. The central ingredient in this approach is a ...
ICMCS
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper, a technique is presented for CT image analysis and visualization of the bronchial airways. The technique provides a non-invasive way to examine the interior of the ...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
The paper proposes an approach to modeling users of large Web sites based on combining different data sources: access logs and content of the accessed pages are combined with sema...