6404 search results - page 403 / 1281 » Blocks |
279
click to vote
TABLEAUX
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau i...
173
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We consider correlated MIMO multiple access channels with block fading, where each block is divided into training and data transmission phases. We find the channel esti...
137
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
The subtitling of broadcast news programs are starting to become a very interesting application due to the technological advances in Automatic Speech Recognition and associated te...
151
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper introduces low-complexity block codes, termed pattern-eliminating codes (PEC), which achieve a potentially large performance improvement over channels with residual ...
179
click to vote
ICCAD
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper presents ISCLEs, a novel and robust analog design method that promises to scale with Moore’s Law, by doing boosting-style importance sampling on digital-sized circuit...