5122 search results - page 369 / 1025 » Comparing Consequence Relations |
198
click to vote
ENTCS
2008
15 years 5 months ago
2008
In light of recent shift towards shared-memory systems in parallel explicit model checking, we explore relative advantages and disadvantages of shared versus private hash tables. ...
146
click to vote
MP
2010
15 years 5 months ago
2010
Adding cuts based on copositive matrices, we propose to improve Lov´asz’ bound θ on the clique number and its tightening θ introduced by McEliece, Rodemich, Rumsey, and Schri...
169
click to vote
TCOM
2010
15 years 5 months ago
2010
—This paper is concerned with a simple binary erasure-recovery coding scheme that falls into the family of socalled semi-random low-density-parity-check (SR-LDPC) codes. Based on...
174
Voted
ACL
2010
15 years 4 months ago
2010
We introduce a novel mechanism for incorporating articulatory dynamics into speech recognition with the theory of task dynamics. This system reranks sentencelevel hypotheses by th...
176
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
We study the energy consumption of individual links in wireless sensor networks (WSN). Three widely used digital modulation schemes, i.e. MQAM, MPSK, and MFSK, are analyzed and com...