Sciweavers

1478 search results - page 3 / 296
» Modular Complexity Analysis via Relative Complexity
Sort
View
HICSS
2002
IEEE
119views Biometrics» more  HICSS 2002»
13 years 10 months ago
Task-Structure Analysis: A Modularized Approach for Modeling Knowledge Intensive Processes
Modular design methodologies, which decompose large and complex systems into components that are relatively easy to develop and maintain, have been widely adopted in the software ...
Roman M. Wong, Siddhartha Bhattacharyya
KBSE
2006
IEEE
13 years 11 months ago
Modularity Analysis of Logical Design Models
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
Yuanfang Cai, Kevin J. Sullivan
ICRA
2010
IEEE
130views Robotics» more  ICRA 2010»
13 years 3 months ago
On the complexity of optimal reconfiguration planning for modular reconfigurable robots
— This paper presents a thorough analysis of the computational complexity of optimal reconfiguration planning problem for chain-type modular robots, i.e. finding the least number...
Feili Hou, Wei-Min Shen
FCT
2001
Springer
13 years 9 months ago
Relating Automata-Theoretic Hierarchies to Complexity-Theoretic Hierarchies
We show that some natural refinements of the Straubing and Brzozowski hierarchies correspond (via the so called leaf-languages) step by step to similar refinements of the polynom...
Victor L. Selivanov
FROCOS
2007
Springer
13 years 11 months ago
Hierarchical and Modular Reasoning in Complex Theories: The Case of Local Theory Extensions
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
Viorica Sofronie-Stokkermans