1065 search results - page 189 / 213 » Droidel: a general approach to Android framework modeling |
112
click to vote
SIGSOFT
2010
ACM
14 years 12 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
135
click to vote
ICCV
2009
IEEE
14 years 11 months ago
2009
IEEE
With the popularity of "bag of visual terms" representations of images, many text indexing techniques have been applied in large-scale image retrieval systems. However, ...
130
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Online Convex Programming (OCP) is a recently developed model of sequential decision-making in the presence of time-varying uncertainty. In this framework, a decisionmaker selects ...
112
click to vote
AIPS
2008
15 years 4 months ago
2008
Flexible general purpose robots need to tailor their visual processing to their task, on the fly. We propose a new approach to this within a planning framework, where the goal is ...
138
click to vote
JMLR
2008
15 years 1 months ago
2008
We consider the problem of learning classifiers in structured domains, where some objects have a subset of features that are inherently absent due to complex relationships between...