1648 search results - page 175 / 330 » A Modelling Framework for Functional Imagination |
130
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Term-weighting functions derived from various models of retrieval aim to model human notions of relevance more accurately. However, there is a lack of analysis of the sources of e...
123
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
We formalize the associative bandit problem framework introduced by Kaelbling as a learning-theory problem. The learning environment is modeled as a k-armed bandit where arm payof...
138
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
226
Voted
VLDB
2003
ACM
16 years 3 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
120
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper proposes a new framework of speech synthesis based on the Bayesian approach. The Bayesian method is a statistical technique for estimating reliable predictive distribut...