Sciweavers

815 search results - page 47 / 163
» Complexity classes for membrane systems
Sort
View
WCRE
2008
IEEE
14 years 3 months ago
Analyzing the Actual Execution of a Large Software-Intensive System for Determining Dependencies
In this paper, we present a dynamic analysis approach to increase the understandability of a large softwareintensive system, more particularly to enable the identification of depe...
Trosky Boris Callo Arias, Paris Avgeriou, Pierre A...
CDC
2009
IEEE
160views Control Systems» more  CDC 2009»
14 years 1 months ago
Receding horizon temporal logic planning for dynamical systems
— This paper bridges the advances in computer science and control to allow automatic synthesis of control strategies for complex dynamical systems which are guaranteed, by constr...
Tichakorn Wongpiromsarn, Ufuk Topcu, R. Richard Mu...
CIKM
2004
Springer
14 years 2 months ago
A design space approach to analysis of information retrieval adaptive filtering systems
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
Dmitriy Fradkin, Paul B. Kantor
ATAL
2003
Springer
14 years 13 days ago
An exploration of bugs and debugging in multi-agent systems
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
David Poutakidis, Lin Padgham, Michael Winikoff
VTC
2006
IEEE
14 years 2 months ago
IQ Space Frequency Time Codes for MIMO-OFDM Systems
Abstract: In this paper, we study concatenated coding for MIMOOFDM systems. The proposed concatenated system achieves full spatial and frequency diversity at much lower complexity ...
Samir Al-Ghadhban, R. Michael Buehrer, Brian D. Wo...