11160 search results - page 212 / 2232 » Incompleteness in a General Setting |
170
click to vote
MCSS
2007
Springer
15 years 4 months ago
2007
Springer
The classical Matrosov theorem concludes uniform asymptotic stability of time varying systems via a weak Lyapunov function (positive definite, decrescent, with negative semidefi...
138
click to vote
IJRR
2000
15 years 4 months ago
2000
The hierarchical generalized Voronoi graph (HGVG) is a new roadmap developed for sensor-based exploration in unknown environments. This paper defines the HGVG structure: a robot c...
144
click to vote
SIAMJO
2002
15 years 4 months ago
2002
We study a class of generalized bundle methods for which the stabilizing term can be any closed convex function satisfying certain properties. This setting covers several algorithm...
133
click to vote
PAMI
2007
15 years 3 months ago
2007
—Over the past few decades, a large family of algorithms—supervised or unsupervised; stemming from statistics or geometry theory—has been designed to provide different soluti...
111
click to vote
EUROCRYPT
2009
Springer
16 years 5 months ago
2009
Springer
The notion of Zero Knowledge Proofs (of knowledge) [ZKP] is central to cryptography; it provides a set of security properties that proved indispensable in concrete protocol design...