Sciweavers

1729 search results - page 251 / 346
» Generic Haskell: Applications
Sort
View
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
14 years 1 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm

Lecture Notes
1005views
15 years 10 months ago
Lectures on reconfigurable computing
Driven by recent innovations in Field-Programmable Gate Arrays (FPGAs), reconfigurable computing offers unique ways to accelerate key algorithms. FPGAs offer a programmable logic f...
Sherief Reda
CVPR
2009
IEEE
2358views Computer Vision» more  CVPR 2009»
15 years 5 months ago
Pictorial Structures Revisited: People Detection and Articulated Pose Estimation
Non-rigid object detection and articulated pose estimation are two related and challenging problems in computer vision. Numerous models have been proposed over the years and oft...
Mykhaylo Andriluka (TU Darmstadt), Stefan Roth (TU...
ICCV
2009
IEEE
2030views Computer Vision» more  ICCV 2009»
15 years 3 months ago
Robust Tracking-by-Detection using a Detector Confidence Particle Filter
We propose a novel approach for multi-person trackingby- detection in a particle filtering framework. In addition to final high-confidence detections, our algorithm uses the con...
Michael D. Breitenstein, Fabian Reichlin, Bastian ...
CVPR
2005
IEEE
15 years 3 days ago
Optimal Sub-Shape Models by Minimum Description Length
Active shape models are a powerful and widely used tool to interpret complex image data. By building models of shape variation they enable search algorithms to use a priori knowle...
Georg Langs, Philipp Peloschek, Horst Bischof