606 search results - page 107 / 122 » Discrete Time Process Algebra |
122
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
This paper addresses the issue of policy evaluation in Markov Decision Processes, using linear function approximation. It provides a unified view of algorithms such as TD(), LSTD()...
140
click to vote
PRL
2007
15 years 1 months ago
2007
Recently, boosting has come to be used widely in object-detection applications because of its impressive performance in both speed and accuracy. However, learning weak classifier...
116
click to vote
COMPGEOM
2009
ACM
14 years 11 months ago
2009
ACM
Computed tomography(CT), especially since the introduction of helical CT, provides excellent visualization of the internal organs of the body. As a result, CT is used routinely in...
108
click to vote
ICCV
1999
IEEE
16 years 3 months ago
1999
IEEE
The classification of human body motion is a difficult problem. In particular, the automatic segmentation of sequences containing more than one class of motion is challenging. An ...
138
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...