173 search results - page 30 / 35 » Remarks on Testing Probabilistic Processes |
DAC
2008
ACM
14 years 8 months ago
2008
ACM
As integrated circuit technology plumbs ever greater depths in the scaling of feature sizes, maintaining the paradigm of deterministic Boolean computation is increasingly challeng...
ICASSP
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents a method for automatic recognition of human gestures. The method works with 3D image data from a range camera to achieve invariance to viewpoint. The recogniti...
DAGM
1999
Springer
13 years 11 months ago
1999
Springer
This paper presents a statistical algorithm for collaborative mobile robot localization. Our approach uses a sample-based version of Markov localization, capable of localizing mob...
RECOMB
2010
Springer
14 years 2 months ago
2010
Springer
Constructing quantitative dynamic models of signaling pathways is an important task for computational systems biology. Pathway model construction is often an inherently incremental...
ICPR
2008
IEEE
14 years 8 months ago
2008
IEEE
Locating moving objects in a video sequence is the first step of many computer vision applications. Among the various motion-detection techniques, background subtraction methods a...