523 search results - page 50 / 105 » Online Testing of Real-time Systems Using Uppaal |
PR
2008
13 years 7 months ago
2008
In this paper we address the task of writer identification of on-line handwriting captured from a whiteboard. Different sets of features are extracted from the recorded data and u...
GECCO
2011
Springer
12 years 11 months ago
2011
Springer
In recent years there have been efforts to develop a probabilistic framework to explain the workings of a Learning Classifier System. This direction of research has met with lim...
IJCAI
2003
13 years 9 months ago
2003
Writer’s Aid is a collaborative system that works simultaneously with an author editing a document providing assistance in identifying and inserting citation keys and autonomous...
IS
2007
13 years 7 months ago
2007
Companies, government agencies, and other organizations are making their data available to the world over the Internet. They often use large online relational tables for this purp...
IUI
2006
ACM
14 years 1 months ago
2006
ACM
Recent interest in the use of software character agents raises the issue of how many agents should be used in online learning. In this paper we review evidence concerning the rela...