Sciweavers

4636 search results - page 517 / 928
» Modelling and Validation with VipTool
Sort
View
ITS
2004
Springer
72views Multimedia» more  ITS 2004»
16 years 16 days ago
Using Knowledge Tracing to Measure Student Reading Proficiencies
Constructing a student model for language tutors is a challenging task. This paper describes using knowledge tracing to construct a student model of reading proficiency and validat...
Joseph E. Beck, June Sison
RSP
2003
IEEE
117views Control Systems» more  RSP 2003»
16 years 13 days ago
Prototype-Based Tests for Hybrid Reactive Systems
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
Gabor Hahn, Jan Philipps, Alexander Pretschner, Th...
WORDS
2002
IEEE
16 years 2 days ago
Reconfiguration of Resources in Middleware
: The monolithic and inflexible nature of current middleware has made it difficult to deal with emerging technologies such as multimedia. Since these applications have timeliness c...
Hector A. Duran-Limon, Gordon S. Blair
SSIAI
2000
IEEE
15 years 11 months ago
Pairwise Markov Random Fields and its Application in Textured Images Segmentation
The use of random fields, which allows one to take into account the spatial interaction among random variables in complex systems, is a frequent tool in numerous problems of stati...
Wojciech Pieczynski, Abdel-Nasser Tebbache
DSRT
1999
IEEE
15 years 11 months ago
Simulation of Multimedia Systems Based on Actors and QoSsynchronizers
This paper describes a variant of the actor model suited to the development of multimedia systems. The actor model centers on non-overkilling concurrency and customizable constrai...
Giancarlo Fortino, Libero Nigro