13977 search results - page 446 / 2796 » Evolution in complex systems |
162
click to vote
SAT
2004
Springer
16 years 8 days ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...
165
click to vote
WEBI
2004
Springer
16 years 8 days ago
2004
Springer
As the amount of available data continues to increase, more and more effective means for discovering important patterns and relationships within that data are required. Although t...
180
click to vote
WG
2004
Springer
16 years 8 days ago
2004
Springer
In portable multimedia systems a number of communicating tasks has to be performed on a set of heterogeneous processors. This should be done in an energy-efficient way. We give th...
165
click to vote
BIRTHDAY
2003
Springer
16 years 5 days ago
2003
Springer
The problem of cooperatively performing a collection of tasks in a decentralized setting where the computing medium is subject to adversarial perturbations is one of the fundament...
195
click to vote
ICTCS
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...