523 search results - page 54 / 105 » Online Testing of Real-time Systems Using Uppaal |
ICCS
2007
Springer
13 years 11 months ago
2007
Springer
This paper proposes an unusual event recognition algorithm, which is a part of a mobile alarm system. Our systems focus on unusual event. When the system detects the unusual event,...
TSMC
1998
13 years 7 months ago
1998
Abstract—We present a general scheme for learning sensorimotor tasks which allows rapid on-line learning and generalization of the learned knowledge to unfamiliar objects. The sc...
SIGIR
2009
ACM
14 years 2 months ago
2009
ACM
A number of online video social networks, out of which YouTube is the most popular, provides features that allow users to post a video as a response to a discussion topic. These f...
CONCURRENCY
2007
13 years 7 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
INTERACT
2003
13 years 9 months ago
2003
: Most online help systems on the market prove unsuited to the actual needs of novice users. Although recent research has focused on the design and implementation of contextual, ad...