11381 search results - page 1919 / 2277 » Connectivity |
191
click to vote
AGI
2011
14 years 10 months ago
2011
A novel approach to computer vision is outlined, involving the use of imprecise probabilities to connect a deep learning based hierarchical vision system with both local feature de...
270
click to vote
AIPS
2011
14 years 10 months ago
2011
We define a probe to be a single action sequence computed greedily from a given state that either terminates in the goal or fails. We show that by designing these probes carefull...
207
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Quantified Boolean formulae (QBF) allow compact encoding of many decision problems. Their importance motivated the development of fast QBF solvers. Certifying the result...
184
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
This article is a modified version of the paper published at CHI 2011 [11]. For more details about the study, please refer to the original paper. We report our study on mobile rem...
166
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
We investigate the breaking of ties between individuals in the online social network of Twitter, a hugely popular social media service. Building on sociology concepts such as stre...