523 search results - page 56 / 105 » Online Testing of Real-time Systems Using Uppaal |
UIC
2010
Springer
13 years 5 months ago
2010
Springer
In this paper, we present a real-time obstacle detection system for the mobility improvement for the visually impaired using a handheld Smartphone. Though there are many existing a...
UM
2007
Springer
14 years 1 months ago
2007
Springer
A standing question in the field of Intelligent Tutoring Systems and User Modeling in general is what is the appropriate level of model granularity (how many skills to model) and h...
ISMIR
2005
Springer
14 years 1 months ago
2005
Springer
We present MATCH, a toolkit for aligning audio recordings of different renditions of the same piece of music, based on an efficient implementation of a dynamic time warping algor...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Online detection of video clips that present previously unseen events in a video stream is still an open challenge to date. For this online new event detection (ONED) task, existi...
IPM
2006
13 years 7 months ago
2006
The profusion of online resources calls for tools and methods to help Internet users find precisely what they are looking for. Quality controlled gateway CISMeF provides such serv...