3446 search results - page 182 / 690 » A Reasoning Algorithm for pD* |
163
click to vote
KDD
2012
ACM
13 years 6 months ago
2012
ACM
Crowdsourcing has recently become popular among machine learning researchers and social scientists as an effective way to collect large-scale experimental data from distributed w...
175
click to vote
TMC
2012
13 years 6 months ago
2012
Abstract—We consider the problem of relay-assisted transmission for cellular networks. In the considered system, a source node together with n relay nodes are selected in a propo...
126
click to vote
AAAI
2006
15 years 5 months ago
2006
As embedded systems grow increasingly complex, there is a pressing need for diagnosing and monitoring capabilities that estimate the system state robustly. This paper is based on ...
147
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...
149
click to vote
ICDCS
2006
IEEE
15 years 10 months ago
2006
IEEE
To address the problem of unsupervised outlier detection in wireless sensor networks, we develop an algorithm that (1) is flexible with respect to the outlier definition, (2) wo...