3994 search results - page 501 / 799 » A Linear Logical Framework |
182
click to vote
COCOON
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The Sugiyama framework is the most commonly used concept for visualizing directed graphs. It draws them in a hierarchical way and operates in four phases: cycle removal, ...
222
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—A computational framework is presented for surface based morphometry to localize shape changes between groups of 3D objects. It employs the spherical harmonic (SPHARM) method fo...
209
click to vote
3DPVT
2004
IEEE
15 years 11 months ago
2004
IEEE
Interactive 3D modeling is the process of building a 3D model of an object or a scene in real-time while the 3D (range) data is acquired. This is possible only if the computationa...
196
click to vote
ICPR
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we propose an efficient, non-iterative method for estimating optical flow. We develop a probabilistic framework that is appropriate for describing the inherent uncer...
166
click to vote
ICCD
1995
IEEE
15 years 11 months ago
1995
IEEE
Many design techniques have been proposed to optimize the performance of a digital system implemented in a given technology. Each of these techniques can be advantageous in partic...