Sciweavers

3897 search results - page 12 / 780
» complexity 2010
Sort
View
MSCS
2010
73views more  MSCS 2010»
13 years 2 months ago
Modal and mixed specifications: key decision problems and their complexities
Adam Antonik, Michael Huth, Kim G. Larsen, Ulrik N...
JCAM
2010
93views more  JCAM 2010»
13 years 2 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
SIAMADS
2010
105views more  SIAMADS 2010»
13 years 2 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...
CIE
2010
Springer
14 years 11 days 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
RTA
2010
Springer
13 years 11 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