Search Sciweavers | Sciweavers

11030 search results - page 82 / 2206

» Generative Sound Models

136

Voted

FSTTCS
2010
Springer

130views Software Engineering» more FSTTCS 2010»

Model Checking Concurrent Programs with Nondeterminism and Randomization

14 years 12 months ago

Download www.lsv.ens-cachan.fr

For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound an...

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

claim paper

Read More »

139

click to vote

UAI
2008

242views Artificial Intelligence» more UAI 2008»

Dyna-Style Planning with Linear Function Approximation and Prioritized Sweeping

15 years 3 months ago

Download uai2008.cs.helsinki.fi

We consider the problem of efficiently learning optimal control policies and value functions over large state spaces in an online setting in which estimates must be available afte...

Richard S. Sutton, Csaba Szepesvári, Alborz...

claim paper

Read More »

136

click to vote

IROS
2009
IEEE

142views Robotics» more IROS 2009»

Phoneme acquisition model based on vowel imitation using Recurrent Neural Network

15 years 8 months ago

Download winnie.kuis.kyoto-u.ac.jp

- A phoneme-acquisition system was developed using a computational model that explains the developmental process of human infants in the early period of acquiring language. There a...

Hisashi Kanda, Tetsuya Ogata, Toru Takahashi, Kazu...

claim paper

Read More »

124

click to vote

GMP
2002
IEEE

163views Solid Modeling» more GMP 2002»

Fair Triangle Mesh Generation with Discrete Elastica

15 years 7 months ago

Download www.riken.jp

Shin Yoshizawa, Alexander G. Belyaev

claim paper