3134 search results - page 283 / 627 » Computing full disjunctions |
101
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
116
click to vote
ICN
2009
Springer
15 years 9 months ago
2009
Springer
— VoIP is one of the most emerging technologies in the area of speech communications. VoIP is widely deployed in fixed line access networks. However, user’s requirements on the...
141
Voted
IWPEC
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we initiate a systematic study of the Reduced Degree Spanning Tree problem, where given a digraph D and a nonnegative integer k, the goal is to construct a spanning o...
125
click to vote
TLCA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Programming languages theory is full of problems that reduce to proving the consistency of a logic, such as the normalization of typed lambda-calculi, the decidability of...
122
click to vote
CF
2009
ACM
15 years 9 months ago
2009
ACM
There is a trend towards using accelerators to increase performance and energy efficiency of general-purpose processors. Adoption of accelerators, however, depends on the availabi...