3931 search results - page 291 / 787 » Separation logic and abstraction |
185
click to vote
DLOG
2003
15 years 8 months ago
2003
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
220
click to vote
OPODIS
2003
15 years 8 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...
160
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
MEMS storage devices are new non-volatile secondary storages that have outstanding advantages over magnetic disks. MEMS storage devices, however, are much different from magnetic ...
138
click to vote
CP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The availability of commodity multiprocessors offers significant opportunities for addressing the increasing computational requirements of optimization applications. To...
177
click to vote
COLING
2007
15 years 6 months ago
2007
cally identifying clinically relevant aspects of MEDLINE abstracts. These extracted elements serve as the input to an algorithm that scores the relevance of citations with respect ...