727 search results - page 22 / 146 » A Calculus of Bounded Capacities |
TABLEAUX
2009
Springer
14 years 2 months ago
2009
Springer
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
ICFP
1996
ACM
13 years 11 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
CISS
2011
IEEE
12 years 11 months ago
2011
IEEE
The capacity regions of two classes of multiple access relay channels (MARes) are characterized. The MARes studied in this paper include a primitive relay component, which can he...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
We consider a dense n-user Gaussian interference network formed by paired transmitters and receivers placed independently at random in Euclidean space. Under natural conditions on ...
WAOA
2010
Springer
13 years 5 months ago
2010
Springer
We study flows over time in networks with transit times on the arcs. Transit times describe how long it takes to traverse an arc. A flow over time specifies for each arc a time-dep...