Sciweavers

11716 search results - page 95 / 2344
» Computable symbolic dynamics
Sort
View
CSJM
2006
79views more  CSJM 2006»
15 years 6 months ago
Generating Languages by P Systems with Minimal Symport/Antiport
It is known that P systems with two membranes and minimal symport/antiport rules are "almost" computationally complete as generators of number or vector sets. Interpreti...
Artiom Alhazov, Yurii Rogozhin
ACL
2010
15 years 4 months ago
Compositional Matrix-Space Models of Language
We propose CMSMs, a novel type of generic compositional models for syntactic and semantic aspects of natural language, based on matrix multiplication. We argue for the structural ...
Sebastian Rudolph, Eugenie Giesbrecht
GCB
2004
Springer
223views Biometrics» more  GCB 2004»
15 years 10 months ago
PoSSuMsearch: Fast and Sensitive Matching of Position Specific Scoring Matrices using Enhanced Suffix Arrays
: In biological sequence analysis, position specific scoring matrices (PSSMs) are widely used to represent sequence motifs. In this paper, we present a new nonheuristic algorithm, ...
Michael Beckstette, Dirk Strothmann, Robert Homann...
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
16 years 23 days ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
ICC
2007
IEEE
121views Communications» more  ICC 2007»
16 years 16 days ago
Alternative Symbol Representations with Radial Symmetry for PAPR Reduction in OFDM Systems
— This paper proposes a new method for peak to average power ratio (PAPR) reduction in orthogonal frequency division multiplexing (OFDM) systems using two alternative signalling ...
Ali Al-Shaikhi, Jacek Ilow