Sciweavers

228 search results - page 2 / 46
» Independent Bases of Admissible Rules
Sort
View
ISIPTA
1999
IEEE
134views Mathematics» more  ISIPTA 1999»
13 years 9 months ago
Conditional Independence Relations in Possibility Theory
The aim of this paper is to survey and brie y discuss various rules of conditioning proposed in the framework of possibility theory as well as various conditional independence rel...
Jirina Vejnarová
MSCS
2008
119views more  MSCS 2008»
13 years 5 months ago
Structural subtyping for inductive types with functorial equality rules
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
Zhaohui Luo, Robin Adams
MONET
2006
145views more  MONET 2006»
13 years 5 months ago
Efficient Resource Allocation for Policy-Based Wireless/Wireline Interworking
Abstract This paper proposes efficient resource allocation techniques for a policy-based wireless/wireline interworking architecture, where quality of service (QoS) provisioning an...
Yu Cheng, Wei Song, Weihua Zhuang, Alberto Leon-Ga...
INFOCOM
2000
IEEE
13 years 9 months ago
A Measurement-Based Admission-Controlled Web Server
Current HTTP servers process requests using a first come first serve queuing policy. What this implies is that the web server must process each request as it arrives. The result is...
Kelvin Li, Sugih Jamin
INFOCOM
2003
IEEE
13 years 10 months ago
Downlink Admission/Congestion Control and Maximal Load in CDMA Networks
— This paper is focused on the influence of geometry on the combination of inter-cell and intra-cell interferences in the downlink of large cdma networks. We use an exact repres...
François Baccelli, Bartlomiej Blaszczyszyn,...