710 search results - page 49 / 142 » Improving bug tracking systems |
FORTE
1994
13 years 10 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
ECCV
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we present our approach for visual tracking of head, hands and head orientation. Given the images provided by a calibrated stereo-camera, color and disparity inform...
ICIP
2009
IEEE
13 years 6 months ago
2009
IEEE
In this paper, we present a monocular 3D arm movement tracking system using adaptive particle filter. The effective sample size (ESS) is analyzed in the adaptive particle filter t...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
We consider estimation of the noise spectral variance from speech signals contaminated by highly nonstationary noise sources. In each time frame, for each frequency bin, the noise...
CIKM
2003
Springer
14 years 2 months ago
2003
Springer
Keeping track of changes in user interests from a document stream with a few relevance judgments is not an easy task. To tackle this problem, we propose a novel method that integr...