Sciweavers

1419 search results - page 66 / 284
» A Characterization of Constructive Dimension
Sort
View
CIE
2007
Springer
15 years 6 months ago
Thin Maximal Antichains in the Turing Degrees
Abstract. We study existence problems of maximal antichains in the Turing degrees. In particular, we give a characterization of the existence of a thin Π1 1 maximal antichains in ...
Chi Tat Chong, Liang Yu
TIME
2002
IEEE
15 years 4 months ago
A Finite-State Approach to Event Semantics
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite autom...
Tim Fernando
CORR
2011
Springer
181views Education» more  CORR 2011»
14 years 7 months ago
Octal Bent Generalized Boolean Functions
In this paper we characterize (octal) bent generalized Boolean functions defined on Zn 2 with values in Z8. Moreover, we propose several constructions of such generalized bent fun...
Pante Stanica, Thor Martinsen
ICALP
2004
Springer
15 years 5 months ago
The Power of Verification for One-Parameter Agents
We initiate the study of mechanisms with verification for one-parameter agents. We give an algorithmic characterization of such mechanisms and show that they are provably better ...
Vincenzo Auletta, Roberto De Prisco, Paolo Penna, ...
CORR
2010
Springer
99views Education» more  CORR 2010»
14 years 11 months ago
Filter Bank Fusion Frames
In this paper we characterize and construct novel oversampled filter banks implementing fusion frames. A fusion frame is a sequence of orthogonal projection operators whose sum can...
Amina Chebira, Matthew Fickus, Dustin G. Mixon