2115 search results - page 407 / 423 » Object Detection Using a Cascade of 3D Models |
CADE
2005
Springer
14 years 8 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
SIGGRAPH
1997
ACM
13 years 12 months ago
1997
ACM
Virtual colonoscopy is a non-invasive computerized medical procedure for examining the entire colon to detect polyps. We present an interactive virtual colonoscopy method, which u...
BIRD
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Searching and mining nuclear magnetic resonance (NMR)spectra of naturally occurring substances is an important task to investigate new potentially useful chemical compoun...
CCE
2007
13 years 7 months ago
2007
This work describes a stochastic approach for the optimal placement of sensors in municipal water networks to detect maliciously injected contaminants. The model minimizes the exp...
EMNLP
2009
13 years 5 months ago
2009
Current statistical machine translation (SMT) systems are trained on sentencealigned and word-aligned parallel text collected from various sources. Translation model parameters ar...