10608 search results - page 717 / 2122 » Complexity of O'Hara's Algorithm |
184
click to vote
TACAS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
190
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
Phase Noise (PN) is a serious challenge in wireless transmission systems as it can cause significant degradation of the system performance. Recent publications propose iterative ...
179
click to vote
ATAL
2009
Springer
16 years 2 months ago
2009
Springer
Supply Chain Formation (SCF) is the process of determining the participants in a supply chain, who will exchange what with whom, and the terms of the exchanges. Mixed multi-unit c...
191
click to vote
PKDD
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Inverse reinforcement learning addresses the general problem of recovering a reward function from samples of a policy provided by an expert/demonstrator. In this paper, w...
169
click to vote
FOCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We use a Bayesian approach to optimally solve problems in noisy binary search. We deal with two variants: • Each comparison is erroneous with independent probability 1 − p. ...