Sciweavers

553 search results - page 64 / 111
» On Planar Path Transformation
Sort
View
FM
1997
Springer
159views Formal Methods» more  FM 1997»
15 years 4 months ago
Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects
Abstract Set boolean operations between 2-dlmensional geometric objects are crucial in computational geometry and deserve rigorous treatments. We build up a simple and convergent s...
David Cazier, Jean-François Dufourd
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
14 years 6 months ago
Optimal UAV coordination for target tracking using dynamic programming
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
Steven A. P. Quintero, Francesco Papi, Daniel J. K...
ICCV
2007
IEEE
15 years 6 months ago
3-D Metric Reconstruction and Registration of Images of Near-planar Surfaces
In this study, we address the problem of 3-D dense metric reconstruction and registration from multiple images, given that the observed surface is nearly planar. This is difficult...
Tae Eun Choe, Gérard G. Medioni
CAD
2007
Springer
14 years 12 months ago
Computing general geometric structures on surfaces using Ricci flow
Systematically generalizing planar geometric algorithms to manifold domains is of fundamental importance in computer aided design field. This paper proposes a novel theoretic fra...
Miao Jin, Feng Luo 0002, Xianfeng David Gu
CASES
2008
ACM
15 years 1 months ago
Control flow optimization in loops using interval analysis
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
Mohammad Ali Ghodrat, Tony Givargis, Alex Nicolau