176 search results - page 22 / 36 » urban 2008 |
84
Voted
SIAMSC
2010
14 years 8 months ago
2010
A surface reconstruction technique based on minimization of the total variation of the gradient is introduced. Convergence of the method is established, and an interior-point algor...
COCOON
2008
Springer
14 years 12 months ago
2008
Springer
Given two sets of points in the plane, we are interested in locating a highway h such that an objective function on the city distance between points of the two sets is minimized (w...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper reports an autonomous cooperative navigation system for robot formations in realistic scenarios. The formation movement control is based on a virtual structure compo...
LICS
2008
IEEE
15 years 4 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
DEXAW
2008
IEEE
15 years 4 months ago
2008
IEEE
Information management and content governance in large corporations is an ongoing challenge. As a case study, we present the adaptation of the elastic lists facet browser for brow...