12 search results - page 2 / 3 » Learning Finite Automata Using Local Distinguishing Experime... |
JMLR
2008
13 years 4 months ago
2008
In this paper we develop a theoretical analysis of the performance of sampling-based fitted value iteration (FVI) to solve infinite state-space, discounted-reward Markovian decisi...
CVPR
2012
IEEE
11 years 7 months ago
2012
IEEE
ImageNet is a large-scale database of object classes with millions of images. Unfortunately only a small fraction of them is manually annotated with bounding-boxes. This prevents ...
FLAIRS
2008
13 years 7 months ago
2008
In this paper, we present methods to analyze dialog coherence that help us to automatically distinguish between coherent and incoherent conversations. We build a machine learning ...
CVPR
2009
IEEE
14 years 2 months ago
2009
IEEE
We present an image-based Simultaneous Localization and Mapping (SLAM) framework with online, appearanceonly loop closing. We adopt a layered approach with metric maps over small ...
POPL
2007
ACM
14 years 5 months ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...