4332 search results - page 290 / 867 » A Probabilistic Identification Result |
209
click to vote
NMR
2004
Springer
15 years 12 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
198
click to vote
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
Speculative multithreading (SpMT) architecture can exploit thread-level parallelism that cannot be identified statically. Speedup can be obtained by speculatively executing threa...
209
click to vote
AGENTS
1998
Springer
15 years 10 months ago
1998
Springer
Physical domains are notoriously hard to model completely and correctly, especially to capture the dynamics of the environment. Moreover, since environments change, it is even mor...
210
click to vote
KDD
2010
ACM
15 years 10 months ago
2010
ACM
Social tagging systems have become increasingly popular for sharing and organizing web resources. Tag recommendation is a common feature of social tagging systems. Social tagging ...
172
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
Current numerical model checkers for stochastic systems can efficiently analyse stochastic models. However, the fact that they are unable to provide debugging information constrain...