523 search results - page 44 / 105 » Online Testing of Real-time Systems Using Uppaal |
RIAO
2004
13 years 9 months ago
2004
Monitoring user-system performance in interactive search is a challenging task. Traditional measures of retrieval evaluation, based on recall and precision, are not of any use in ...
RTAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Control systems running on a computer are subject to timing disturbances coming from implementation constraints. Fortunately closed-loop systems behave robustly w.r.t. modelling e...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Online group work has been identified as an important issue in Web-based education for a long time. With the prevalence of instant messaging in adolescents, more and more students...
IPM
2006
13 years 7 months ago
2006
The Pathfinder algorithm is widely used to prune social networks. The pruning maintains the geodesic distances between nodes. It has shown itself to be very useful in the analysis...
NAACL
1994
13 years 9 months ago
1994
The BYBLOS continuous speech recognition system is applied to on-line cursive handwriting recognition. By exploiting similarities between on-line cursive handwriting and continuou...