11321 search results - page 7 / 2265 » Improvements to Turing's method |
155
click to vote
GLOBECOM
2006
IEEE
16 years 10 hour ago
2006
IEEE
: To improve downlink packet throughput, the base schedules a mobile when its signal to interference ratio is higher than on average. The mobiles measure downlink pilots from the s...
180
click to vote
TCS
2011
15 years 27 days ago
2011
This paper presents a 1D intrinsically universal cellular automaton with four states for a first neighbors neighborhood, improving on the previous lower bound and getting nearer ...
163
click to vote
CIKM
1999
Springer
15 years 10 months ago
1999
Springer
Statistical language modeling has been successfully used for speech recognition, part-of-speech tagging, and syntactic parsing. Recently, it has also been applied to information r...
167
click to vote
FORTE
2009
15 years 3 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
158
click to vote
APAL
1998
15 years 5 months ago
1998
We consider the computably enumerable sets under the relation of Qreducibility. We first give several results comparing the upper semilattice of c.e. Q-degrees, RQ, ≤Q , under ...