Sciweavers

1817 search results - page 11 / 364
» Extensive Games as Process Models
Sort
View
JMM2
2007
131views more  JMM2 2007»
13 years 7 months ago
Effect of Digital Games on Children's Cognitive Achievement
—Technologies’ rapid advance in developing digital media has been extensively applied in contemporary play materials to enrich children’s play, such as electronic or computer...
Tsung-Yen Chuang, Wei-Fan Chen
ECMDAFA
2010
Springer
238views Hardware» more  ECMDAFA 2010»
14 years 11 days ago
eSPEM - A SPEM Extension for Enactable Behavior Modeling
OMG’s SPEM – by means of its (semi-)formal notation – allows for a detailed description of development processes and methodologies, but can only be used for a rather coarse d...
Ralf Ellner, Samir Al-Hilank, Johannes Drexler, Ma...
ICSE
2009
IEEE-ACM
14 years 2 months ago
Verifying networked programs using a model checker extension
Model checking finds failures in software by exploring every possible execution schedule. Until recently it has been mainly applied to stand-alone applications. This paper presen...
Watcharin Leungwattanakit, Cyrille Artho, Masami H...
ICASSP
2011
IEEE
12 years 11 months ago
Extensions of recurrent neural network language model
We present several modifications of the original recurrent neural network language model (RNN LM). While this model has been shown to significantly outperform many competitive l...
Tomas Mikolov, Stefan Kombrink, Lukas Burget, Jan ...
ICASSP
2008
IEEE
14 years 2 months ago
Bayesian extensions to non-negative matrix factorisation for audio signal modelling
We describe the underlying probabilistic generative signal model of non-negative matrix factorisation (NMF) and propose a realistic conjugate priors on the matrices to be estimate...
Tuomas Virtanen, Ali Taylan Cemgil, Simon J. Godsi...