Sciweavers

1532 search results - page 148 / 307
» The Symbol Grounding Problem
Sort
View
142
Voted
MICCAI
2003
Springer
16 years 5 months ago
Segmentation and Evaluation of Adipose Tissue from Whole Body MRI Scans
Accurate quantification of total body and the distribution of regional adipose tissue using manual segmentation is a challenging problem due to the high variation between manual de...
Yinpeng Jin, Celina Imielinska, Andrew Laine, Jaya...
CADE
2008
Springer
16 years 4 months ago
Engineering DPLL(T) + Saturation
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
Leonardo Mendonça de Moura, Nikolaj Bj&osla...
ICIAP
2003
ACM
16 years 4 months ago
View synthesis from uncalibrated images using parallax
This work deals with the view synthesis problem, i.e., how to generate snapshots of a scene taken from a "virtual" viewpoint different from all the viewpoints of the rea...
Andrea Fusiello, Stefano Caldrer, Sara Ceglie, Nik...
ICASSP
2009
IEEE
15 years 11 months ago
Reconstruction of isometrically deformable flat surfaces in 3D from multiple camera images
This paper deals with the reconstruction of smooth, flexible, isometrically embedded flat surfaces in 3D, such as a sheet of paper or a flag waving in the wind, from a set of 2...
Ricardo Ferreira, João Xavier, João ...
CIVR
2009
Springer
134views Image Analysis» more  CIVR 2009»
15 years 11 months ago
Towards surveillance video search by natural language query
Spatial language video retrieval is an important real-world problem that is also a natural test bed for evaluating semantic structures for natural language descriptions of motion ...
Stefanie Tellex, Deb Roy