1732 search results - page 27 / 347 » Sequences of Level 1, 2, 3, ..., k , .. |
149
click to vote
CGVR
2006
15 years 7 months ago
2006
: This paper presents a 3D scene modeling method for a Simple and Effective 3D Navigation (SE3DN) system, with 2D map guidance and multimedia information. SE3DN constructs 3D model...
166
click to vote
CADE
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
175
click to vote
ICIP
1997
IEEE
15 years 10 months ago
1997
IEEE
International Conference on Image Processing (ICIP 97), vol. 1, pp. 444-447, Santa Barbara, October 1997. In this paper a model-based multi-view image generation system for video ...
144
click to vote
DM
2008
15 years 6 months ago
2008
Catalan numbers C(n) = 1 n+1 2n n enumerate binary trees and Dyck paths. The distribution of paths with respect to their number k of factors is given by ballot numbers B(n, k) = n-...
157
click to vote
ICIP
2005
IEEE
15 years 11 months ago
2005
IEEE
A method for detecting and reducing reverberation artifacts in ultrasound image sequences is described. A reverberation artifact localization map is produced using local Rf-bandwi...