4266 search results - page 124 / 854 » Search for More Declarativity |
173
click to vote
TABLEAUX
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
156
click to vote
FTDCS
2004
IEEE
15 years 8 months ago
2004
IEEE
A lot of recent work has dealt with improving performance of content searching in peer-to-peer file sharing systems. In this paper we attack this problem by modifying the overlay ...
128
click to vote
ECIR
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. WWW Video Search Engines have become increasingly commonplace within the last few years and at the same time video retrieval research has been receiving more attention wi...
MASCOTS
2001
15 years 5 months ago
2001
File systems that allocate data contiguously often use bitmaps to representand managefree space. Increases in the size of storage to be managed creates a needfor eficient algorith...
119
click to vote
UAI
2004
15 years 5 months ago
2004
The paper introduces mixed networks, a new framework for expressing and reasoning with probabilistic and deterministic information. The framework combines belief networks with con...