2907 search results - page 3 / 582 » Presentations of Structures in Admissible Sets |
113
click to vote
JNSM
2000
15 years 7 days ago
2000
In this paper, we consider wide-area backbone networks where multiple connection-oriented guaranteed services with differing bandwidth/flow requirements are offered. Specifically,...
72
Voted
COMMA
2008
15 years 1 months ago
2008
Abstract. We present a variant of AB-dispute derivations for assumption-based argumentation (ABA), that can be used for determining the admissibility of claims. ABA reduces the pro...
NIPS
2004
15 years 1 months ago
2004
We investigate an approach for simultaneously committing to multiple activities, each modeled as a temporally extended action in a semi-Markov decision process (SMDP). For each ac...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
A type-based approach to termination uses sized types: an ordinal bound for the size of a data structure is stored in its type. A recursive function over a sized type is accepted i...
119
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper we consider an interference channel where a set of primary active users are cooperating through interference alignment over a constant multiple-input-multiple-output...