Sciweavers

2485 search results - page 21 / 497
» Time Bounded Frequency Computations
Sort
View
FOCS
2008
IEEE
15 years 6 months ago
On the Value of Multiple Read/Write Streams for Approximating Frequency Moments
We consider the read/write streams model, an extension of the standard data stream model in which an algorithm can create and manipulate multiple read/write streams in addition to...
Paul Beame, Dang-Trinh Huynh-Ngoc
GLOBECOM
2007
IEEE
15 years 6 months ago
Joint Iterative Time-Variant Channel Estimation and Multi-User Detection for MIMO-OFDM Systems
—This paper presents an iterative receiver for Multiple-Input Multiple-Output (MIMO) Orthogonal Frequency Division Multiplexing (OFDM) systems. The receiver performs channel esti...
Pierluigi Salvo Rossi, Ralf R. Muller
COCO
2010
Springer
215views Algorithms» more  COCO 2010»
15 years 3 months ago
Symmetry Coincides with Nondeterminism for Time-Bounded Auxiliary Pushdown Automata
—We show that every language accepted by a nondeterministic auxiliary pushdown automaton in polynomial time (that is, every language in SAC1 = Log(CFL)) can be accepted by a symm...
Eric Allender, Klaus-Jörn Lange
COLT
2004
Springer
15 years 5 months ago
Concentration Bounds for Unigrams Language Model
Abstract. We show several PAC-style concentration bounds for learning unigrams language model. One interesting quantity is the probability of all words appearing exactly k times in...
Evgeny Drukh, Yishay Mansour
FM
2009
Springer
123views Formal Methods» more  FM 2009»
15 years 6 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...