1943 search results - page 88 / 389 » Ordering Default Theories |
105
click to vote
CADE
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
DESRIST
2009
Springer
15 years 4 months ago
2009
Springer
Innovations in health care are often characterized by complexity and fuzzy boundaries, involving both the elements of the innovation and the organizational structure required for ...
107
click to vote
TACS
1994
Springer
15 years 3 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
127
click to vote
ECIR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. This paper concerns document ranking in information retrieval. In information retrieval systems, the widely accepted probability ranking principle (PRP) suggests that, fo...
119
click to vote
TMC
2012
13 years 2 months ago
2012
Abstract—In order to achieve data delivery in Delay Tolerant Networks (DTN), researchers have proposed the use of store-carryand-forward protocols: a node there may store a messa...