Sciweavers

1943 search results - page 293 / 389
» Ordering Default Theories
Sort
View
ENTCS
2008
120views more  ENTCS 2008»
15 years 6 months ago
Reasoning about B+ Trees with Operational Semantics and Separation Logic
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
Alan P. Sexton, Hayo Thielecke
FSS
2008
147views more  FSS 2008»
15 years 6 months ago
A general framework for fuzzy morphological associative memories
Fuzzy associative memories (FAMs) can be used as a powerful tool for implementing fuzzy rule-based systems. The insight that FAMs are closely related to mathematical morphology (M...
Marcos Eduardo Valle, Peter Sussner
FSS
2008
110views more  FSS 2008»
15 years 6 months ago
Learning valued preference structures for solving classification problems
This paper introduces a new approach to classification which combines pairwise decomposition techniques with ideas and tools from fuzzy preference modeling. More specifically, our...
Eyke Hüllermeier, Klaus Brinker
CCR
2006
81views more  CCR 2006»
15 years 6 months ago
LTCP: improving the performance of TCP in highspeed networks
In this paper, we propose Layered TCP (LTCP for short), a set of simple modifications to the congestion window response of TCP to make it more scalable in highspeed networks. LTCP...
Sumitha Bhandarkar, Saurabh Jain, A. L. Narasimha ...
230
Voted
ENTCS
2006
181views more  ENTCS 2006»
15 years 6 months ago
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
Alexandru Baltag, Sonja Smets