2273 search results - page 215 / 455 » On the Expressiveness and Complexity of ATL |
208
click to vote
ADC
2008
Springer
16 years 28 days ago
2008
Springer
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
166
click to vote
AINA
2007
IEEE
16 years 28 days ago
2007
IEEE
The Mobile Agent (MA) paradigm advocates the migration of agent code to achieve computational goals. MAs require an executable environment on hosts where mobile code can be execut...
169
click to vote
CBMS
2007
IEEE
16 years 28 days ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
178
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract— Cooperative diversiy is a promising technology for future wireless networks. In this paper, based on the moment generating function (MGF), we derive exact closed-form e...
188
click to vote
ICC
2007
IEEE
16 years 27 days ago
2007
IEEE
Abstract—We analyze the properties of a class of low complexity timing error detectors for the purpose of timing error tracking in orthogonal space-time block coding receivers. F...