Sciweavers

995 search results - page 10 / 199
» complexity 2011
Sort
View
ECCTD
2011
108views more  ECCTD 2011»
13 years 11 months ago
Low complexity least-squares filter design for the correction of linear time-varying systems
Abstract—In this paper, a low complexity algorithm for the design of a time-varying correction filter of finite impulse response (FIR) type is presented. Using the obtained fi...
Michael Soudan, Christian Vogel
176
Voted
NFM
2011
335views Formal Methods» more  NFM 2011»
14 years 6 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
JDA
2011
104views more  JDA 2011»
14 years 6 months ago
Deconstructing intractability - A multivariate complexity analysis of interval constrained coloring
The NP-hard Interval Constrained Coloring (ICC) problem appears in the interpretation of experimental data in biochemistry dealing with protein fragments. Given a set of m integer...
Christian Komusiewicz, Rolf Niedermeier, Johannes ...
DGCI
2011
Springer
14 years 3 months ago
Some Morphological Operators on Simplicial Complex Spaces
In this work, we propose a framework that allows to build morphological operators for processing and filtering objects defined on t) simplicial complex spaces. We illustrate with...
Fabio Dias, Jean Cousty, Laurent Najman
CORR
2011
Springer
175views Education» more  CORR 2011»
14 years 6 months ago
Traced communication complexity of cellular automata
We study cellular automata with respect to a new communication complexity problem: each of two players know half of some finite word, and must be able to tell whether the state o...
Eric Goles Ch., Pierre Guillon, Ivan Rapaport