Sciweavers

184 search results - page 15 / 37
» Superposition for Fixed Domains
Sort
View
112
Voted
PIMRC
2008
IEEE
15 years 6 months ago
Multiplexing precoding scheme for STC-CPM with parametric phase discriminator IWM receiver
—A constant envelope Continuous Phase Modulation (CPM) class of Multi-Channel (MC) modulations for multiantenna transmitters is considered. Each receive antenna receives a superp...
Jan Sykora, Robert Schober
102
Voted
CSL
2010
Springer
15 years 1 months ago
The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case
We study the complexity of evaluating positive equality-free sentences of first-order (FO) logic over fixed, finite structures B. This may be seen as a natural generalisation of th...
Barnaby Martin, Jos Martin
100
Voted
ICALP
2010
Springer
15 years 18 days ago
Towards a Theory of Time-Bounded Verification
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...
Joël Ouaknine, James Worrell
CIKM
1998
Springer
15 years 4 months ago
Ontology-Based Extraction and Structuring of Information from Data-Rich Unstructured Documents
We present a new approach to extracting information from unstructured documents based on an application ontology that describes a domain of interest. Starting with such an ontolog...
David W. Embley, Douglas M. Campbell, Randy D. Smi...
118
Voted
SIGOPSE
1994
ACM
15 years 4 months ago
SPIN - An Extensible Microkernel for Application-specific Operating System Services
Application domains, such as multimedia, databases, and parallel computing, require operating system services with high performance and high functionality. Existing operating syst...
Brian N. Bershad, Craig Chambers, Susan J. Eggers,...