Sciweavers

1870 search results - page 278 / 374
» Abstract And-Parallel Machines
Sort
View
CMSB
2006
Springer
13 years 12 months ago
Type Inference in Systems Biology
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
François Fages, Sylvain Soliman
ICCV
2003
IEEE
14 years 10 months ago
A New Paradigm for Recognizing 3-D Object Shapes from Range Data
Most of the work on 3-D object recognition from range data has used an alignment-verification approach in which a specific 3-D object is matched to an exact instance of the same o...
Salvador Ruiz-Correa, Linda G. Shapiro, Marina Mei...
ECCV
2008
Springer
14 years 10 months ago
Relevant Feature Selection for Human Pose Estimation and Localization in Cluttered Images
Abstract. We address the problem of estimating human body pose from a single image with cluttered background. We train multiple local linear regressors for estimating the 3D pose f...
Ryuzo Okada, Stefano Soatto
ECCV
2008
Springer
14 years 10 months ago
Training Hierarchical Feed-Forward Visual Recognition Models Using Transfer Learning from Pseudo-Tasks
Abstract. Building visual recognition models that adapt across different domains is a challenging task for computer vision. While feature-learning machines in the form of hierarchi...
Amr Ahmed, Kai Yu, Wei Xu, Yihong Gong, Eric P. Xi...
ICDE
2008
IEEE
119views Database» more  ICDE 2008»
14 years 9 months ago
Toward Simulation-Based Optimization in Data Stream Management Systems
Abstract-- Our demonstration introduces a novel system architecture which massively facilitates optimization in data stream management systems (DSMS). The basic idea is to decouple...
Bernhard Seeger, Christoph Heinz, Jürgen Kr&a...