Sciweavers

3897 search results - page 12 / 780
» complexity 2010
Sort
View
64
Voted
MSCS
2010
73views more  MSCS 2010»
14 years 5 months ago
Modal and mixed specifications: key decision problems and their complexities
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik N...
85
Voted
JCAM
2010
93views more  JCAM 2010»
14 years 5 months ago
Singular-value-like decomposition for complex matrix triples
The classical singular value decomposition for a matrix A Cm
Christian Mehl, Volker Mehrmann, Hongguo Xu
77
Voted
SIAMADS
2010
105views more  SIAMADS 2010»
14 years 5 months ago
Model Reduction of the Nonlinear Complex Ginzburg-Landau Equation
Reduced-order models of the nonlinear complex Ginzburg
Milos Ilak, Shervin Bagheri, Luca Brandt, Clarence...
94
Voted
CIE
2010
Springer
15 years 3 months ago
Circuit Complexity and Multiplicative Complexity of Boolean Functions
In this note, we use lower bounds on Boolean multiplicative complexity to prove lower bounds on Boolean circuit complexity. We give a very simple proof of a 7n/3 − c lower bound ...
Arist Kojevnikov, Alexander S. Kulikov
93
Voted
RTA
2010
Springer
15 years 2 months ago
Modular Complexity Analysis via Relative Complexity
Abstract. In this paper we introduce a modular framework which allows to infer (feasible) upper bounds on the (derivational) complexity of term rewrite systems by combining differ...
Harald Zankl, Martin Korp