Sciweavers

998 search results - page 149 / 200
» From Feasible Proofs to Feasible Computations
Sort
View
AUTOMATICA
2008
167views more  AUTOMATICA 2008»
13 years 10 months ago
Stability and robustness analysis of nonlinear systems via contraction metrics and SOS programming
A wide variety of stability and performance questions about linear dynamical systems can be reformulated as convex optimization problems involving linear matrix inequalities (LMIs...
Erin M. Aylward, Pablo A. Parrilo, Jean-Jacques E....
COR
2006
122views more  COR 2006»
13 years 10 months ago
Experimental Analysis of Approximation Algorithms for the Vertex Cover and Set Covering Problems
Several approximation algorithms with proven performance guarantees have been proposed to find approximate solutions to classical combinatorial optimization problems. However, the...
Fernando C. Gomes, Cláudio Nogueira de Mene...
CORR
2006
Springer
101views Education» more  CORR 2006»
13 years 10 months ago
Metric State Space Reinforcement Learning for a Vision-Capable Mobile Robot
We address the problem of autonomously learning controllers for visioncapable mobile robots. We extend McCallum's (1995) Nearest-Sequence Memory algorithm to allow for genera...
Viktor Zhumatiy, Faustino J. Gomez, Marcus Hutter,...
GEOINFORMATICA
2006
116views more  GEOINFORMATICA 2006»
13 years 10 months ago
The Radial Topology Algorithm - A New Approach for Deriving 2.5D GIS Data Models
In this paper a new method for the combination of 2D GIS vector data and 2.5D DTM represented by triangulated irregular networks (TIN) to derive integrated triangular 2.5D object-b...
Ulrich Lenk, Christian Heipke
DKE
2007
162views more  DKE 2007»
13 years 10 months ago
A new algorithm for clustering search results
We develop a new algorithm for clustering search results. Differently from many other clustering systems that have been recently proposed as a post-processing step for Web search ...
Giansalvatore Mecca, Salvatore Raunich, Alessandro...