2273 search results - page 369 / 455 » On the Expressiveness and Complexity of ATL |
126
click to vote
BIBE
2008
IEEE
15 years 4 months ago
2008
IEEE
— Heterogeneous genome-wide data sources capture information on various aspects of complex biological systems. For instance, transcriptome, interactome and phenome-level informat...
CISS
2007
IEEE
15 years 4 months ago
2007
IEEE
— We study the case of a single transmitter, which communicates to two co-located users, through an independent block Rayleigh fading channel. The co-location nature of the users...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
— In this paper, we propose a new resource allocation mechanism which is designed to improve the multiuser detection of wireless network diversity multiple access (NDMA) protocol...
111
click to vote
AIIA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A clustering method is presented which can be applied to relational knowledge bases. It can be used to discover interesting groupings of resources through their (semantic...
ER
2007
Springer
15 years 4 months ago
2007
Springer
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...