Sciweavers

1509 search results - page 131 / 302
» Building Shape Models from Lousy Data
Sort
View
OOPSLA
2005
Springer
15 years 9 months ago
Fine-grained interoperability through mirrors and contracts
As a value flows across the boundary between interoperating languages, it must be checked and converted to fit the types and representations of the target language. For simple f...
Kathryn E. Gray, Robert Bruce Findler, Matthew Fla...
FSTTCS
2001
Springer
15 years 8 months ago
Computability and Complexity Results for a Spatial Assertion Language for Data Structures
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
Cristiano Calcagno, Hongseok Yang, Peter W. O'Hear...
ISER
1999
Springer
118views Robotics» more  ISER 1999»
15 years 8 months ago
ACME, A Telerobotic Active Measurement Facility
: We are developing a robotic measurement facility which makes it very easy to build “reality-based” models, i.e., computational models of existing, physical objects based on a...
Dinesh K. Pai, Jochen Lang, John E. Lloyd, Robert ...
ICASSP
2008
IEEE
15 years 10 months ago
Camera and microphone array for 3D audiovisual face data collection
This paper proposes a novel camera/microphone array system capable of capturing dynamic facial expression video with synchronized speech and reconstructing realistic 3D face model...
Yuxiao Hu, Hao Tang, Thomas S. Huang
116
Voted
ICDAR
2009
IEEE
15 years 1 months ago
Handwritten Word Image Retrieval with Synthesized Typed Queries
We propose a new method for handwritten word-spotting which does not require prior training or gathering examples for querying. More precisely, a model is trained "on the fly...
José A. Rodríguez-Serrano, Florent P...