2214 search results - page 219 / 443 » Complexity of Reasoning |
118
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...
68
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper we analyze the operation of two scheduling algorithms, Class Based Queuing (CBQ) and Delay Bounded Hybrid Proportional Delay (DBHPD). We compare results obtained ...
134
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we analyze the performance of multiple relay channels when multiple antennas are deployed only at relays. Specifically, we investigate the simple repetit...
100
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— We describe the tight integration of incremental natural language understanding, goal management, and action processing in a complex robotic architecture, which is required for...
127
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...