3820 search results - page 511 / 764 » Bounded Model Debugging |
108
click to vote
GG
2008
Springer
15 years 4 months ago
2008
Springer
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...
124
Voted
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper develops a generalized apprenticeship learning protocol for reinforcementlearning agents with access to a teacher who provides policy traces (transition and reward obse...
118
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
We describe an algorithm for clustering using a similarity graph. The algorithm (a) runs in O(n log3 n + m log n) time on graphs with n vertices and m edges, and (b) with high pro...
135
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
Compressive sensing (CS) is an emerging approach for acquisition of signals having a sparse or compressible representation in some basis. While CS literature has mostly focused on...
ADHOC
2008
15 years 3 months ago
2008
In this paper, we study asymptotic uniform data-rate guarantees in large wireless networks from an information-theoretic viewpoint. We consider the following question: what is the...