Sciweavers

6155 search results - page 220 / 1231
» A language for multiple models of computation
Sort
View
PAMI
2012
13 years 9 months ago
Fast Joint Estimation of Silhouettes and Dense 3D Geometry from Multiple Images
—We propose a probabilistic formulation of joint silhouette extraction and 3D reconstruction given a series of calibrated 2D images. Instead of segmenting each image separately i...
Kalin Kolev, Thomas Brox, Daniel Cremers
TLCA
2005
Springer
16 years 1 days ago
L3: A Linear Language with Locations
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
Greg Morrisett, Amal J. Ahmed, Matthew Fluet
FSTTCS
2004
Springer
15 years 12 months ago
Learning Languages from Positive Data and a Finite Number of Queries
A computational model for learning languages in the limit from full positive data and a bounded number of queries to the teacher (oracle) is introduced and explored. Equivalence, ...
Sanjay Jain, Efim B. Kinber
ACII
2005
Springer
15 years 8 months ago
Hand Motion Recognition for the Vision-based Taiwanese Sign Language Interpretation
In this paper we present a system to recognize the hand motion of Taiwanese Sign Language (TSL) using the Hidden Markov Models (HMMs) through a vision-based interface. Our hand mot...
Chia-Shiuan Cheng, Pi-Fuei Hsieh, Chung-Hsien Wu
ECCV
2008
Springer
16 years 8 months ago
Multiple Component Learning for Object Detection
Abstract. Object detection is one of the key problems in computer vision. In the last decade, discriminative learning approaches have proven effective in detecting rigid objects, a...
Boris Babenko, Pietro Perona, Piotr Dollár,...