8810 search results - page 8 / 1762 » Open. Closed. Open |
WRAC
2005
Springer
14 years 26 days ago
2005
Springer
The systemic theory associates open systems and complexity closely. This article presents a particular articulation between these two concepts using the Systemion Model. Two types ...
AIML
2008
13 years 8 months ago
2008
In this paper we study the intermediate logic MLO(X) of open subsets of a metric space X. This logic is closely related to Medvedev's logic of finite problems ML. We prove sev...
IPPS
2000
IEEE
13 years 11 months ago
2000
IEEE
Performance analysis of high performance systems is a difficult task. Current tools have proven successful in analysis tasks but their implementation is limited in several respects...
CAV
2012
Springer
11 years 9 months ago
2012
Springer
Nested-word automata (NWAs) are a language formalism that helps bridge the gap between finite-state automata and pushdown automata. NWAs can express some context-free properties, ...
ICIP
2001
IEEE
14 years 9 months ago
2001
IEEE
An area based counterpart of the binary structural opening spectra is developed. It is shown that these area opening and closing spectra can be computed using an adaptation of Tar...