366 search results - page 21 / 74 » Four equivalent equivalences of reductions |
115
Voted
MST
2011
14 years 3 months ago
2011
We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in Σ p 2. In the case of linear matroids, which are represented over pol...
104
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
The Small-Set Expansion Hypothesis (Raghavendra, Steurer, STOC 2010) is a natural hardness assumption concerning the problem of approximating the edge expansion of small sets in g...
110
Voted
ENTCS
2008
15 years 23 days ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
83
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
In this paper, a generic bi-directional framework is proposed for parametric image alignment, that extends the classification of [1]. Four main categories (Forward, Inverse, Depend...