Sciweavers

815 search results - page 53 / 163
» Complexity classes for membrane systems
Sort
View
CSL
2004
Springer
14 years 2 months ago
Subtyping Union Types
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
Jerome Vouillon
ICSE
2004
IEEE-ACM
14 years 8 months ago
Problem Structure and Dependable Architecture
An approach to software development is sketched in which problem structuring is separated from software architecture. The problem is decomposed into subproblems of familiar classes...
Michael Jackson
ICDAR
1995
IEEE
14 years 10 days ago
A knowledge-based approach to the layout analysis
In this paper, we present a hybrid approach to the problem of the document analysis in which the document image is segmented by means of a top-down technique and then basic blocks...
Floriana Esposito, Donato Malerba, Giovanni Semera...
SRDS
2006
IEEE
14 years 2 months ago
Experimental Comparison of Local and Shared Coin Randomized Consensus Protocols
The paper presents a comparative performance study of the two main classes of randomized binary consensus protocols: a local coin protocol, with an expected high communication com...
Henrique Moniz, Nuno Ferreira Neves, Miguel Correi...
COMPLEXITY
2007
94views more  COMPLEXITY 2007»
13 years 8 months ago
Emergence is coupled to scope, not level
Since its application to systems, emergence has been explained in terms of levels of observation. This approach has led to confusion, contradiction, incoherence and at times mysti...
Alex J. Ryan