Sciweavers

2661 search results - page 203 / 533
» Quantum Complexity Classes
Sort
View
151
Voted
COMPGEOM
2011
ACM
14 years 7 months ago
An output-sensitive algorithm for persistent homology
In this paper, we present the first output-sensitive algorithm to compute the persistence diagram of a filtered simplicial complex. For any Γ > 0, it returns only those homo...
Chao Chen, Michael Kerber
129
Voted
CSL
2005
Springer
15 years 9 months ago
Feasible Proofs of Matrix Properties with Csanky's Algorithm
We show that Csanky’s fast parallel algorithm for computing the characteristic polynomial of a matrix can be formalized in the logical theory LAP, and can be proved correct in LA...
Michael Soltys
114
Voted
CORR
2008
Springer
61views Education» more  CORR 2008»
15 years 3 months ago
Rich, Sturmian, and trapezoidal words
In this paper we explore various interconnections between rich words, Sturmian words, and trapezoidal words. Rich words, first introduced by the second and third authors together w...
Aldo de Luca, Amy Glen, Luca Q. Zamboni
135
Voted
TOOLS
2009
IEEE
15 years 10 months ago
Reusing and Composing Tests with Traits
Single inheritance often forces developers to duplicate code and logic. This widely recognized situation affects both business code and tests. In a large and complex application w...
Stéphane Ducasse, Damien Pollet, Alexandre ...
162
Voted
ECCV
2010
Springer
15 years 9 months ago
Maximum Margin Distance Learning for Dynamic Texture Recognition
The range space of dynamic textures spans spatiotemporal phenomena that vary along three fundamental dimensions: spatial texture, spatial texture layout, and dynamics. By describin...