Sciweavers

12373 search results - page 434 / 2475
» Semi-Logarithmic Number Systems
Sort
View
CIE
2010
Springer
15 years 9 months ago
The Limits of Tractability in Resolution-Based Propositional Proof Systems
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
Stefan S. Dantchev, Barnaby Martin
189
Voted
MCU
2004
96views Hardware» more  MCU 2004»
15 years 9 months ago
Computational Completeness of P Systems with Active Membranes and Two Polarizations
P systems with active membranes using only two electrical charges and only rules of type (a) , i.e., evolution rules used in parallel in the regions of the membrane system, and of ...
Artiom Alhazov, Rudolf Freund, Gheorghe Paun
COLING
1996
15 years 9 months ago
Towards a More Careful Evaluation of Broad Coverage Parsing Systems
Since treebanks have become available to researchers a wide variety of techniques has been used to make broad coverage parsing systems. This makes quantitative evaluation very imp...
Wide R. Hogenhout, Yuji Matsumoto
COMBINATORICS
2006
112views more  COMBINATORICS 2006»
15 years 7 months ago
Shift-Induced Dynamical Systems on Partitions and Compositions
The rules of "Bulgarian solitaire" are considered as an operation on the set of partitions to induce a finite dynamical system. We focus on partitions with no preimage u...
Brian Hopkins, Michael A. Jones
JSAC
2006
100views more  JSAC 2006»
15 years 7 months ago
Analysis and optimization of CDMA systems with chip-level interleavers
Abstract--In this paper, we present an unequal power allocation technique to increase the throughput of code-division multiple-access (CDMA) systems with chip-level interleavers. P...
Lihai Liu, Jun Tong, Li Ping