1418 search results - page 117 / 284 » The Dynamic Complexity of Formal Languages |
218
click to vote
CADE
2002
Springer
16 years 4 months ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
113
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
114
click to vote
COSIT
2007
Springer
15 years 10 months ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
172
click to vote
HVC
2007
Springer
15 years 8 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
136
click to vote
COORDINATION
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse, s...