Sciweavers

21 search results - page 3 / 5
» A Discrete Farkas Lemma
Sort
View
SAS
2004
Springer
136views Formal Methods» more  SAS 2004»
13 years 11 months ago
Constraint-Based Linear-Relations Analysis
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
SIAMREV
2010
119views more  SIAMREV 2010»
13 years 15 days ago
From Functional Analysis to Iterative Methods
We examine condition numbers, preconditioners, and iterative methods for finite element discretizations of coercive PDEs in the context of the fundamental solvability result, the L...
Robert C. Kirby
COMPGEOM
2009
ACM
14 years 8 days ago
Randomly removing g handles at once
It was shown in [11] that any orientable graph of genus g can be probabilistically embedded into a graph of genus g − 1 with constant distortion. Removing handles one by one giv...
Glencora Borradaile, James R. Lee, Anastasios Sidi...
COMPGEOM
2007
ACM
13 years 9 months ago
Embeddings of surfaces, curves, and moving points in euclidean space
In this paper we show that dimensionality reduction (i.e., Johnson-Lindenstrauss lemma) preserves not only the distances between static points, but also between moving points, and...
Pankaj K. Agarwal, Sariel Har-Peled, Hai Yu
FOCS
2006
IEEE
13 years 11 months ago
Computing Nash Equilibria: Approximation and Smoothed Complexity
We advance significantly beyond the recent progress on the algorithmic complexity of Nash equilibria by solving two major open problems in the approximation of Nash equilibria an...
Xi Chen, Xiaotie Deng, Shang-Hua Teng