2206 search results - page 85 / 442 » On the power of coercion abstraction |
133
click to vote
TIT
2008
15 years 6 months ago
2008
Abstract--For broadcast channels, a power allocation scheme is proposed to maximize the number of active receivers, for each of which, a minimum rate Rmin > 0 can be achieved. U...
158
click to vote
JUCS
2002
15 years 6 months ago
2002
Abstract: We define rationally additive semirings that are a generalization of ()complete and (-)continuous semirings. We prove that every rationally additive semiring is an iterat...
144
click to vote
FMCO
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
136
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Ontologies constitute a pertinent mean to define and to manage competencies and knowledge in companies. The powerful inference mechanisms coming with ontologies allow imp...
124
click to vote
CP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Applying GAC on conjunctions of constraints can lead to more powerful pruning [1]. We show that there exists a simple heuristic for deciding which constraints might be us...