8228 search results - page 1198 / 1646 » Structural Logical Relations |
158
click to vote
CSR
2007
Springer
16 years 1 months ago
2007
Springer
We investigate the complexity of equivalence problems for {∪, ∩, − , +, ×}-circuits computing sets of natural numbers. These problems were first introduced by Stockmeyer an...
163
click to vote
DALT
2007
Springer
16 years 1 months ago
2007
Springer
Development of more complex cognitive systems during evolution is sometimes viewed in relation to environmental complexity. In more detail, growth of complexity during evolution ca...
194
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
Publish/subscribe systems provide a useful paradigm for selective data dissemination and most of the complexity related to addressing and routing is encapsulated within the network...
155
click to vote
GD
2007
Springer
16 years 1 months ago
2007
Springer
We propose a layout algorithm for micro/macro graphs, i.e. relational structures with two levels of detail. While the micro-level graph is given, the macro-level graph is induced b...
200
click to vote
ICB
2007
Springer
16 years 1 months ago
2007
Springer
Palmprint recognition, as a reliable personal identity check method, has been receiving increasing attention during recent years. According to previous work, local texture analysis...