Sciweavers

482 search results - page 41 / 97
» Exploration in Metric State Spaces
Sort
View
TACAS
2005
Springer
158views Algorithms» more  TACAS 2005»
14 years 1 months ago
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
Tao Xie, Darko Marinov, Wolfram Schulte, David Not...
CONCUR
2001
Springer
14 years 10 days ago
Symbolic Computation of Maximal Probabilistic Reachability
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
Marta Z. Kwiatkowska, Gethin Norman, Jeremy Sprost...
CVPR
2007
IEEE
14 years 10 months ago
Segmental Hidden Markov Models for View-based Sport Video Analysis
We present a generative model approach to explore intrinsic semantic structures in sport videos, e.g., the camera view in American football games. We will invoke the concept of se...
Yi Ding, Guoliang Fan
IJCAI
2007
13 years 9 months ago
Parametric Kernels for Sequence Data Analysis
A key challenge in applying kernel-based methods for discriminative learning is to identify a suitable kernel given a problem domain. Many methods instead transform the input data...
Young-In Shin, Donald S. Fussell
RAS
2010
131views more  RAS 2010»
13 years 6 months ago
Probabilistic Policy Reuse for inter-task transfer learning
Policy Reuse is a reinforcement learning technique that efficiently learns a new policy by using past similar learned policies. The Policy Reuse learner improves its exploration b...
Fernando Fernández, Javier García, M...