8025 search results - page 480 / 1605 » Combinators Introduction: An Algorithm |
216
click to vote
MICCAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. We present a fast and accurate tool for semiautomatic segmentation of volumetric medical images based on the live wire algorithm, shape-based interpolation and a new opti...
231
click to vote
ECCV
2006
Springer
15 years 9 months ago
2006
Springer
Our goal is to automatically segment and recognize basic human actions, such as stand, walk and wave hands, from a sequence of joint positions or pose angles. Such recognition is d...
205
click to vote
CPAIOR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
224
click to vote
EVOW
2008
Springer
15 years 9 months ago
2008
Springer
Classifier fusion strategies have shown great potential to enhance the performance of pattern recognition systems. There is an agreement among researchers in classifier combination...
190
click to vote
FMICS
2008
Springer
15 years 9 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...