Sciweavers

2468 search results - page 102 / 494
» Aggregation operators 2003
Sort
View
TKDE
2010
152views more  TKDE 2010»
15 years 27 days ago
Maintaining Recursive Views of Regions and Connectivity in Networks
— The data management community has recently begun to consider declarative network routing and distributed acquisition: e.g., sensor networks that execute queries about contiguou...
Mengmeng Liu, Nicholas E. Taylor, Wenchao Zhou, Za...
122
Voted
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 3 months ago
Logic for Computational Effects: Work in Progress
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
Gordon D. Plotkin, John Power
ASP
2003
Springer
15 years 7 months ago
Graphs and colorings for answer set programming: Abridged Report
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
Kathrin Konczak, Torsten Schaub, Thomas Linke
FLAIRS
2003
15 years 3 months ago
Belief Revision and Information Fusion in a Probabilistic Environment
This paper presents new methods for probabilistic belief revision and information fusion. By making use of the principles of optimum entropy (ME-principles), we define a generali...
Gabriele Kern-Isberner, Wilhelm Rödder
111
Voted
USENIX
2008
15 years 4 months ago
Optimizing TCP Receive Performance
The performance of receive side TCP processing has traditionally been dominated by the cost of the `per-byte' operations, such as data copying and checksumming. We show that ...
Aravind Menon, Willy Zwaenepoel