2188 search results - page 211 / 438 » Instance-Optimal Geometric Algorithms |
152
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— A geometric optimization based approach to deploy a mobile sensor network for the purpose of detecting and capturing mobile targets in the plane is presented in [1]. Th...
188
Voted
LPAR
2007
Springer
15 years 9 months ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
126
Voted
PCM
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we propose a new technique for extracting salient regions in an image. Identification of salient regions is useful for region/object based image processing. Previous...
121
Voted
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
Camera Calibration with one-dimensional objects is based on an algebraic constraint on the image of the absolute conic. We will give an alternative derivation to this constraint, ...
118
Voted
COCOON
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The worst-case complexity of an implementation of Quicksort depends on the random number generator that is used to select the pivot elements. In this paper we estimate th...