2909 search results - page 522 / 582 » Consistency of the theory of contexts |
162
click to vote
SIGECOM
2009
ACM
16 years 21 days ago
2009
ACM
There is significant experimental evidence that prediction markets are efficient mechanisms for aggregating information and are more accurate in forecasting events than tradition...
193
click to vote
ICRA
2008
IEEE
16 years 18 days ago
2008
IEEE
—Capsule endoscopy is a promising technique for diagnosing diseases in the small intestines. Here we propose a miniature swimming mechanism that uses MRI’s magnetic fields for ...
175
click to vote
INFOCOM
2007
IEEE
16 years 14 days ago
2007
IEEE
— We propose the quality-of-service (QoS) driven power allocation schemes for parallel fading channels when considering imperfect channel estimations. In particular, the parallel...
157
click to vote
QEST
2007
IEEE
16 years 14 days ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
155
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
In this paper we develop a novel probabilistic model of computational trust that explicitly deals with correlated multi-dimensional contracts. Our starting point is to consider an...