Sciweavers

3680 search results - page 464 / 736
» cases 2010
Sort
View
CVPR
2010
IEEE
15 years 11 months ago
Model Globally, Match Locally: Efficient and Robust 3D Object Recognition
This paper addresses the problem of recognizing freeform 3D objects in point clouds. Compared to traditional approaches based on point descriptors, which depend on local informati...
Bertram Drost, Markus Ulrich, Nassir Navab, Slobod...
CVPR
2010
IEEE
15 years 11 months ago
Taxonomic Classification for Web-based Videos
Categorizing web-based videos is an important yet challenging task. The difficulties arise from large data diversity within a category, lack of labeled data, and degradation of vi...
Yang Song, Ming Zhao, Jay Yagnik, Xiaoyun Wu
ASPLOS
2010
ACM
15 years 11 months ago
Accelerating MATLAB Image Processing Toolbox functions on GPUs
In this paper, we present our effort in developing an opensource GPU (graphics processing units) code library for the MATLAB Image Processing Toolbox (IPT). We ported a dozen of r...
Jingfei Kong, Martin Dimitrov, Yi Yang, Janaka Liy...
ITICSE
2010
ACM
15 years 11 months ago
PhidgetLab: crossing the border from virtual to real-world objects
Teaching pupils the ideas behind objects in programming languages can be difficult since these concepts are mostly and not comprehensible at first sight. Etoys as a visual progra...
Michael Haupt, Michael Perscheid, Robert Hirschfel...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 11 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...