2273 search results - page 349 / 455 » On the Expressiveness and Complexity of ATL |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
For a sensor network, as tractable spatially-dependent node deployment model is presented with the property that the density is inversely proportional to the sink distance. A stoc...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Ontologies such as taxonomies, product catalogs or web directories are heavily used and hence evolve frequently to meet new requirements or to better reflect the current instance d...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The LETOR website contains three information retrieval datasets used as a benchmark for testing machine learning ideas for ranking. Algorithms participating in the challenge are re...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
The cooperative automatic repeat request (C-ARQ) is a link layer relaying protocol which exploits the spatial diversity and allows the relay node to retransmit the source data pac...
ALIFE
2006
14 years 10 months ago
2006
Current theories about the origin of the eukaryotic cell all assume that during evolution a prokaryotic cell acquired a nucleus. Here, it is shown that a scenario in which the nucl...