Sciweavers

1258 search results - page 224 / 252
» 3-D Model Construction Using Range and Image Data
Sort
View
PAMI
2007
241views more  PAMI 2007»
13 years 7 months ago
Extreme Compression and Modeling of Bidirectional Texture Function
The recent advanced representation for realistic real-world materials in virtual reality applications is the Bidirectional Texture Function (BTF) which describes rough texture app...
Michal Haindl, Jirí Filip
FMCO
2003
Springer
114views Formal Methods» more  FMCO 2003»
14 years 25 days ago
Synchronous Closing and Flow Analysis for Model Checking Timed Systems
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
Natalia Ioustinova, Natalia Sidorova, Martin Steff...
PAMI
2011
13 years 2 months ago
Approximately Global Optimization for Robust Alignment of Generalized Shapes
—In this paper, we introduce a novel method to solve shape alignment problems. We use gray-scale “images” to represent source shapes, and propose a novel two-component Gaussi...
Hongsheng Li, Tian Shen, Xiaolei Huang
ICIP
2000
IEEE
14 years 1 days ago
Vector Probability Diffusion
Minimal surface regularization has been used in several applications ranging from stereo to image segmentation, sometimes hidden as a graph-cut discrete formulation, or as a stric...
Alvaro Pardo, Guillermo Sapiro
CHI
2000
ACM
14 years 1 hour ago
A diary study of information capture in working life
Despite the increasing number of new devices entering the market allowing the capture or recording of information (whether it be marks on paper, scene, sound or moving images), th...
Barry A. T. Brown, Abigail Sellen, Kenton O'Hara