Sciweavers

3954 search results - page 78 / 791
» Image-based Model Completion
Sort
View
237
Voted
VISUALIZATION
1993
IEEE
15 years 6 months ago
Visualization of Time-Dependent Flow Fields
We present an interactive visualization approach for the dense representation of unsteady 3D flow fields. The first part of this approach is a GPU-based 3D texture advection schem...
David A. Lane
121
Voted
IJCV
2007
211views more  IJCV 2007»
15 years 2 months ago
The CLEF 2005 Automatic Medical Image Annotation Task
In this paper, the automatic annotation task of the 2005 CLEF cross-language image retrieval campaign (ImageCLEF) is described. This paper focuses on the database used, the task s...
Thomas Deselaers, Henning Müller, Paul Clough...
140
Voted
TPHOL
2009
IEEE
15 years 9 months ago
Extended First-Order Logic
ion and equality to base types but retains lambda abstractions and higher-order variables. We show that this fragment enjoys the characteristic properties of first-order logic: co...
Chad E. Brown, Gert Smolka
ICANN
2009
Springer
15 years 9 months ago
Logics and Networks for Human Reasoning
We propose to model human reasoning tasks using completed logic programs interpreted under the three-valued Lukasiewicz semantics. Given an appropriate immediate consequence operat...
Steffen Hölldobler, Carroline Dewi Puspa Kenc...
102
Voted
ICRA
2006
IEEE
95views Robotics» more  ICRA 2006»
15 years 8 months ago
View Planning for Automated Site Modeling
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...
Paul Blaer, Peter K. Allen