2206 search results - page 85 / 442 » On the power of coercion abstraction |
TIT
2008
13 years 8 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...
JUCS
2002
13 years 8 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...
FMCO
2005
Springer
14 years 2 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...
CAISE
2004
Springer
14 years 2 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...
CP
2001
Springer
14 years 1 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...