1992 search results - page 175 / 399 » Model Based Testing with Labelled Transition Systems |
133
click to vote
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
Recently, many learning systems, such as e-learning and WBT (Web Based Teaching) systems have been developed. In these systems, users can get educational contents and graphical ma...
173
click to vote
ABIALS
2008
Springer
15 years 5 months ago
2008
Springer
Factored Reinforcement Learning (frl) is a new technique to solve Factored Markov Decision Problems (fmdps) when the structure of the problem is not known in advance. Like Anticipa...
116
click to vote
LREC
2008
15 years 5 months ago
2008
In this paper, we propose a new phrase-based translation model based on inter-lingual triggers. The originality of our method is double. First we identify common source phrases. T...
111
click to vote
SIAMSC
2008
15 years 3 months ago
2008
We derive a Godunov-type relaxation scheme for turbulent flows with heat transfer. The building block of this approach is a kinetic Boltzmann-type formulation for a model of turbul...
142
click to vote
TASLP
2010
14 years 10 months ago
2010
The ability of the human auditory system for sound localization mainly depends on the binaural cues, especially interaural time and level differences (ITD and ILD). In the context ...