295 search results - page 2 / 59 » Utility-Based Abstraction and Categorization |
85
Voted
ICC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—With the proliferation of wireless multimedia applications, multicast/broadcast has been recognized as an efficient technique to transmit a large volume of data to mult...
118
click to vote
TMC
2008
14 years 11 months ago
2008
Abstract-- This article proposes a scheme for bandwidth allocation in wireless ad hoc networks. The quality of service (QoS) levels for each end-to-end flow are expressed using a r...
104
click to vote
SECON
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Due to technology or policy constraints, communications across network domains usually require the intervention of gateways, and their proper deployment is crucial to the...
116
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
APAL
2006
14 years 11 months ago
2006
BLE CATEGORICITY OF LOCAL ABSTRACT ELEMENTARY CLASSES WITH AMALGAMATION JOHN T. BALDWIN AND OLIVIER LESSMANN We give a complete and elementary proof of the following upward categor...