Sciweavers

6943 search results - page 860 / 1389
» Representations for evolutionary algorithms
Sort
View
JAIR
2006
138views more  JAIR 2006»
15 years 7 months ago
Logical Hidden Markov Models
Logical hidden Markov models (LOHMMs) upgrade traditional hidden Markov models to deal with sequences of structured symbols in the form of logical atoms, rather than flat characte...
Kristian Kersting, Luc De Raedt, Tapani Raiko
ENTCS
2007
109views more  ENTCS 2007»
15 years 7 months ago
Symbolic Model Checking for Channel-based Component Connectors
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
Sascha Klüppelholz, Christel Baier
JVCA
2006
63views more  JVCA 2006»
15 years 7 months ago
Temporal alignment of communicative gesture sequences
In this paper we address the problem of temporal alignment applied to captured communicative gestures conveying different styles. We propose a representation space that may be con...
Alexis Heloir, Nicolas Courty, Sylvie Gibet, Franc...
SIAMSC
2008
111views more  SIAMSC 2008»
15 years 7 months ago
Revisiting the Crowding Phenomenon in Schwarz-Christoffel Mapping
We address the problem of conformally mapping the unit disk to polygons with elongations. The elongations cause the derivative of the conformal map to be exponentially large in so...
L. Banjai
JAIR
2007
127views more  JAIR 2007»
15 years 7 months ago
Learning Symbolic Models of Stochastic Domains
In this article, we work towards the goal of developing agents that can learn to act in complex worlds. We develop a a new probabilistic planning rule representation to compactly ...
Hanna M. Pasula, Luke S. Zettlemoyer, Leslie Pack ...