2273 search results - page 217 / 455 » On the Expressiveness and Complexity of ATL |
159
click to vote
ROMAN
2007
IEEE
16 years 26 days ago
2007
IEEE
— We are currently investigating the use of rhythm and synchrony in human-robot interaction. Specifically, we are developing techniques for the perception and generation of soci...
176
click to vote
SEMCO
2007
IEEE
16 years 26 days ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
118
click to vote
VTC
2007
IEEE
16 years 25 days ago
2007
IEEE
— In this paper, we consider an overlay system where narrowband AM signals interfere with a broadband multicarrier system [1]. To reduce the effect of the AM narrowband interfere...
211
click to vote
AGILE
2007
Springer
2007
Springer
Towards Spatial Reasoning in the Semantic Web: A Hybrid Knowledge Representation System Architecture
16 years 23 days ago
Environmental databases store a wide variety of data from heterogeneous sources which are described with domain-specific terminologies and refer to distinct locations. In order to ...
151
click to vote
BIRTHDAY
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. This paper investigates how to apply the techniques on solving semi-algebraic systems to invariant generation of polynomial programs. By our approach, the generated invar...