2273 search results - page 369 / 455 » On the Expressiveness and Complexity of ATL |
217
click to vote
BIBE
2008
IEEE
16 years 23 days 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...
182
click to vote
CISS
2007
IEEE
16 years 19 days 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...
195
click to vote
ICC
2007
IEEE
16 years 19 days 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...
198
click to vote
AIIA
2007
Springer
16 years 14 days 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...
162
click to vote
ER
2007
Springer
16 years 14 days 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,...