3353 search results - page 150 / 671 » Laver and set theory |
162
click to vote
IGPL
2010
15 years 3 months ago
2010
In this paper we consider the relation between beliefs and goals in agent theory. Beliefs play three roles in reasoning about goals: they play a role in the generation of unconditi...
200
click to vote
TIT
2010
15 years 1 months ago
2010
Compressed sensing (CS) has recently emerged as a powerful signal acquisition paradigm. In essence, CS enables the recovery of high-dimensional sparse signals from relatively few ...
187
click to vote
TSP
2012
14 years 1 months ago
2012
This article presents a randomized linear-dispersion space-time block code for decode-andforward synchronous relays. The coding matrices are obtained as a set of columns (or rows)...
198
click to vote
SIGMETRICS
2012
ACM
13 years 8 months ago
2012
ACM
We consider an asynchronous all optical packet switch (OPS) where each link consists of N wavelength channels and a pool of C ≤ N full range tunable wavelength converters. Under...
197
click to vote
TYPES
1998
Springer
15 years 10 months ago
1998
Springer
We define a generic notion of cut that applies to many first-order theories. We prove a generic cut elimination theorem showing that the cut elimination property holds for all theo...