Sciweavers

80 search results - page 13 / 16
» Argumentation Context Systems: A Framework for Abstract Grou...
Sort
View
ICC
2007
IEEE
112views Communications» more  ICC 2007»
14 years 1 months ago
Multiuser Interference Balancing for General Interference Functions - A Convergence Analysis
Abstract—We address the problem of maximizing the minimum signal-to-interference ratio (SIR) in a multiuser system. In the context of resource allocation, this is referred to as ...
Holger Boche, Martin Schubert
HICSS
1994
IEEE
141views Biometrics» more  HICSS 1994»
13 years 11 months ago
Empirical CATeam Research in Meetings
Meeting research and especially research on Computer Supported Meetings of natural teams is not available in abundance. What is reported of meetings often uses a rather limited th...
Helmut Krcmar, Henrik Lewe, Gerhard Schwabe
ICFP
1998
ACM
13 years 11 months ago
Intensional Polymorphism in Type-Erasure Semantics
Intensional polymorphism, the ability to dispatch to different routines based on types at run time, enables a variety of advanced implementation techniques for polymorphic languag...
Karl Crary, Stephanie Weirich, J. Gregory Morriset...
IFL
1998
Springer
139views Formal Methods» more  IFL 1998»
13 years 11 months ago
Higher Order Demand Propagation
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...
Dirk Pape
IJMMS
1998
75views more  IJMMS 1998»
13 years 7 months ago
Knowledge modeling directed by situation-specific models
Clancey (1992) proposed the model-construction framework as a way to explain the reasoning of knowledge-based systems (KBSs), based on his realization that all KBSs construct impl...
Michel Benaroch