971 search results - page 127 / 195 » Approximate Satisfiability and Equivalence |
CORR
2010
Springer
15 years 27 days ago
2010
Springer
We study the convergence of Markov Decision Processes made of a large number of objects to optimization problems on ordinary differential equations (ODE). We show that the optimal...
93
Voted
PAA
2008
15 years 23 days ago
2008
Recently, Automated Multiple View Inspection (AMVI) has been developed for automated defect detection of manufactured objects, and the framework was successfully implemented for ca...
114
click to vote
CORR
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we first present an outer bound for a general interference channel with a cognitive relay, i.e., a relay that has non-causal knowledge of both independent messages t...
157
Voted
STOC
2012
ACM
13 years 3 months ago
2012
ACM
We consider the problem of computing the k-sparse approximation to the discrete Fourier transform of an ndimensional signal. We show: • An O(k log n)-time randomized algorithm f...
90
Voted
AAAI
2012
13 years 3 months ago
2012
In recent times, crowdsourcing over social networks has emerged as an active tool for complex task execution. In this paper, we address the problem faced by a planner to incentivi...