174 search results - page 26 / 35 » Pairwise feature evaluation for constructing reduced represe... |
AAAI
2012
11 years 10 months ago
2012
We are developing a testbed for learning by demonstration combining spoken language and sensor data in a natural real-world environment. Microsoft Kinect RGBDepth cameras allow us...
IPMI
2001
Springer
14 years 8 months ago
2001
Springer
Statistical analysis of anatomical shape differences between two different populations can be reduced to a classification problem, i.e., learning a classifier function for assignin...
QEST
2007
IEEE
14 years 1 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...
IJRR
2011
13 years 2 months ago
2011
Abstract Partially observable Markov decision processes (POMDPs) are a principled mathematical framework for planning under uncertainty, a crucial capability for reliable operation...
CAV
2009
Springer
14 years 8 months ago
2009
Springer
We present HOMER, an observational-equivalence model checker for the 3rd-order fragment of Idealized Algol (IA) augmented with iteration. It works by first translating terms of the...