1078 search results - page 101 / 216 » The Modal Logic of Probability |
110
click to vote
SIGIR
1995
ACM
15 years 7 months ago
1995
ACM
We analyse the kinematics of probabilistic term weights at retrieval time for di erent Information Retrieval models. We present four models based on di erent notions of probabilis...
143
click to vote
ICCD
2004
IEEE
16 years 1 months ago
2004
IEEE
Deterministic gate delay models have been widely used to find the transition probabilities at the nodes of a circuit for calculating the power dissipation. However, with progress...
138
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
VLSI timing analysis and power estimation target the same circuit switching activity. Power estimation techniques are categorized as (1) static, (2) statistical, and (3) simulatio...
185
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
161
Voted
APAL
2005
15 years 4 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...