1222 search results - page 121 / 245 » corr 2008 |
170
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Modal logics are widely used in computer science. The complexity of modal satisfiability problems has been investigated since the 1970s, usually proving results on a case-by-case b...
195
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
167
Voted
CORR
2008
Springer
15 years 7 months ago
2008
Springer
This paper examines the use of a hierarchical coevolutionary genetic algorithm under different partnering strategies. Cascading clusters of sub-populations are built from the bott...
197
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract-The immune system is a complex biological system with a highly distributed, adaptive and selforganising nature. This paper presents an Artificial Immune System (AIS) that ...
188
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Geometric routing algorithms like GFG (GPSR) are lightweight, scalable algorithms that can be used to route in resource-constrained ad hoc wireless networks. However, such algorith...