2203 search results - page 133 / 441 » Temporal Abstract Interpretation |
164
click to vote
OPODIS
2003
15 years 5 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
128
Voted
DAGSTUHL
1997
15 years 5 months ago
1997
Abstract. This document1 contains de nitions of a wide range of concepts speci c to and widely used within temporal databases. In addition to providing de nitions, the document als...
127
Voted
JCNS
2000
15 years 3 months ago
2000
Abstract. The electrosensory lateral line lobe (ELL) of mormyridelectric sh is a cerebellum-likestructure that receives primarya erent input from electroreceptors in the skin. Purk...
130
Voted
BNCOD
2007
15 years 5 months ago
2007
Abstract. Information Extraction, the process of eliciting data from natural language documents, usually relies on the ability to parse the document and then to detect the meaning ...
136
Voted
ICDCS
2007
IEEE
15 years 10 months ago
2007
IEEE
This work focuses on scenarios that require the storage of large amounts of data. Such systems require the ability to either continuously increase the storage space or reclaim spa...