2649 search results - page 147 / 530 » Temporal Theories of Reasoning |
155
click to vote
FOIS
2006
15 years 8 months ago
2006
We present a theory of granular parthood based on qualitative cardinality and size measures. Using standard mereological relations and qualitative, contextdependent relations such ...
176
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—The application of complex network theory to communication systems has led to several important results. Nonetheless, previous research has often neglected to take into account ...
171
click to vote
E2EMON
2006
IEEE
16 years 19 days ago
2006
IEEE
—In this paper we present a way of tuning the temporal characteristics of a new available-bandwidth estimation method, BART. The estimation engine in this method is Kalman-filter...
160
click to vote
ECSQARU
2005
Springer
16 years 3 days ago
2005
Springer
Information often comes from different sources and merging these sources usually leads to apparition of inconsistencies. Fusion is the operation which consists in restoring the co...
173
click to vote
LICS
2005
IEEE
16 years 4 days ago
2005
IEEE
The universal Horn theory of relational Kleene algebra with tests (RKAT) is of practical interest, particularly for program semantics. We develop an (infinitary) proof system, ba...