6413 search results - page 579 / 1283 » Classes of cycle bases |
184
click to vote
JSW
2007
15 years 7 months ago
2007
— This paper describes the importance of new skilled architects in the discipline of Software and Enterprise Architecture. Architects are often idealized as super heroes with a l...
177
click to vote
AUTOMATICA
2004
15 years 7 months ago
2004
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
166
click to vote
AML
1999
15 years 7 months ago
1999
The paper studies a domain theoretical notion of primitive recursion over partial sequences in the context of Scott domains. Based on a non-monotone coding of partial sequences, t...
174
click to vote
BSL
1999
15 years 7 months ago
1999
We consider a classical (propositional) version, CBI, of O'Hearn and Pym's logic of bunched implications (BI) from a model- and prooftheoretic perspective. We present a c...
167
click to vote
JSYML
2002
15 years 7 months ago
2002
A computably enumerable (c.e.) degree is a maximal contiguous degree if it is contiguous and no c.e. degree strictly above it is contiguous. We show that there are infinitely many ...