Sciweavers

1458 search results - page 78 / 292
» The sequentially realizable functionals
Sort
View
ICML
2003
IEEE
16 years 4 months ago
Bayes Meets Bellman: The Gaussian Process Approach to Temporal Difference Learning
We present a novel Bayesian approach to the problem of value function estimation in continuous state spaces. We define a probabilistic generative model for the value function by i...
Yaakov Engel, Shie Mannor, Ron Meir
123
Voted
TSD
2004
Springer
15 years 9 months ago
Advanced Prosody Modelling
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
Jan Romportl, Jindrich Matousek, Daniel Tihelka
133
Voted
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 7 months ago
Equations: A Dependent Pattern-Matching Compiler
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
Matthieu Sozeau
107
Voted
ACL
2003
15 years 5 months ago
Generating Parallel Multilingual LFG-TAG Grammars from a MetaGrammar
We introduce a MetaGrammar, which allows us to automatically generate, from a single and compact MetaGrammar hierarchy, parallel Lexical Functional Grammars (LFG) and Tree-Adjoini...
Lionel Clément, Alexandra Kinyon
135
Voted
CEC
2010
IEEE
15 years 3 months ago
Towards scalability in niching methods
— The scaling properties of multimodal optimization methods have seldom been studied, and existing studies often concentrated on the idea that all local optima of a multimodal fu...
Marcel Kronfeld, Andreas Zell