3053 search results - page 161 / 611 » Structured Objects: Modeling and Reasoning |
104
Voted
CGF
2008
15 years 3 months ago
2008
The powerful yet conceptually simple notions of Finite-Time Lyapunov Exponent (FTLE) and Lagrangian Coherent Structures provide a powerful framework for the analysis and visualiza...
128
Voted
CGF
2005
15 years 3 months ago
2005
Aiming at robust surface structure recovery, we extend the powerful optimization technique of variational shape approximation by allowing for several different primitives to repre...
176
Voted
SDM
2012
SIAM
13 years 6 months ago
2012
SIAM
Objects linking with many other objects in an information network may imply various semantic relationships. Uncovering such knowledge is essential for role discovery, data cleanin...
146
Voted
PAMI
2006
15 years 3 months ago
2006
: This article addresses the problem of estimating the motion of a camera as it observes the outline (or apparent contour) of a solid bounded by a smooth surface in successive imag...
131
Voted
ENTCS
2008
15 years 3 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...