Sciweavers

8099 search results - page 231 / 1620
» Higher-Order Task Models
Sort
View
B
2007
Springer
16 years 22 days ago
Modelling and Proof Analysis of Interrupt Driven Scheduling
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
Bill Stoddart, Dominique Cansell, Frank Zeyda
IAT
2006
IEEE
16 years 17 days ago
Extensibility and Reuse in an Agent-Based Dialogue Model
Most existing dialogue systems have been developed specifically for some predefined task domain(s), thus the issues of extensibility and reuse of the dialogue model are often no...
Anh Nguyen, Wayne Wobcke
COLING
2010
15 years 1 months ago
Adaptive Development Data Selection for Log-linear Model in Statistical Machine Translation
This paper addresses the problem of dynamic model parameter selection for loglinear model based statistical machine translation (SMT) systems. In this work, we propose a principle...
Mu Li, Yinggong Zhao, Dongdong Zhang, Ming Zhou
ICASSP
2011
IEEE
14 years 10 months ago
Learning non-parametric models of pronunciation
As more data becomes available for a given speech recognition task, the natural way to improve recognition accuracy is to train larger models. But, while this strategy yields mode...
Brian Hutchinson, Jasha Droppo
ICASSP
2011
IEEE
14 years 10 months ago
Automatic video annotation via Hierarchical Topic Trajectory Model considering cross-modal correlations
We propose a new statistical model, named Hierarchical Topic Trajectory Model (HTTM), for acquiring a dynamically changing topic model that represents the relationship between vid...
Takuho Nakano, Akisato Kimura, Hirokazu Kameoka, S...