Sciweavers

1478 search results - page 1 / 296
» Modular Complexity Analysis via Relative Complexity
Sort
View
RTA
2010
Springer
13 years 8 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
CORR
2010
Springer
110views Education» more  CORR 2010»
13 years 4 months ago
Detecting communities of triangles in complex networks using spectral optimization
The study of the sub-structure of complex networks is of major importance to relate topology and functionality. Many efforts have been devoted to the analysis of the modular struc...
Belkacem Serrour, Alex Arenas, Sergio Gómez
IEAAIE
2010
Springer
13 years 2 months ago
S.cerevisiae Complex Function Prediction with Modular Multi-Relational Framework
Gene functions is an essential knowledge for understanding how metabolism works and designing treatments for solving malfunctions. The Modular Multi-Relational Framework (MMRF) is ...
Beatriz García Jiménez, Agapito Lede...
HYBRID
2000
Springer
13 years 8 months ago
Modular Specification of Hybrid Systems in CHARON
Abstract. We propose a language, called Charon, for modular specification of interacting hybrid systems. For hierarchical description of the system architecture, Charon supports bu...
Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, ...
CORR
2007
Springer
135views Education» more  CORR 2007»
13 years 4 months ago
Multiple resolution of the modular structure of complex networks
Modular structure is ubiquitous in real-world complex networks. The detection of this type of organization into modules gives insights in the relationship between topological stru...
Alex Arenas, Alberto Fernández, Sergio G&oa...