1699 search results - page 105 / 340 » On the Expressive Power of QLTL |
104
click to vote
AAAI
1998
15 years 2 months ago
1998
AI planning techniques are beginning to find use in a number of practical planning domains. However, the backward-chaining and partial-order-planning control strategies traditiona...
110
click to vote
HPCC
2010
Springer
15 years 1 months ago
2010
Springer
The divide-and-conquer pattern of parallelism is a powerful approach to organize parallelism on problems that are expressed naturally in a recursive way. In fact, recent tools such...
111
click to vote
TWC
2011
14 years 8 months ago
2011
Most of the existing literature on cooperative relay networks has focused on frequency– nonselective channels or frequency–selective channels with multi–carrier transmission...
176
Voted
POPL
2011
ACM
14 years 3 months ago
2011
ACM
We define a new logic, STRAND, that allows reasoning with heapmanipulating programs using deductive verification and SMT solvers. STRAND logic (“STRucture ANd Data” logic) f...
VTC
2008
IEEE
15 years 7 months ago
2008
IEEE
— Recently, we proposed a random transmit power control (TPC) to increase the uplink capacity of DS-CDMA wireless packet access using Rake combining. Furthermore, we evaluated th...