660 search results - page 50 / 132 » Improving AOR method for consistent linear systems |
104
click to vote
TCOM
2008
14 years 11 months ago
2008
Abstract-- We address low-complexity, highly-accurate frequency offset estimation for MB-OFDM-based UWB systems. We discuss unique characteristics of the MB-OFDM systems, namely, d...
RTSS
2008
IEEE
15 years 6 months ago
2008
IEEE
We consider the problem of optimal static period assignment for multiple independent control tasks executing on the same CPU. Previous works have assumed that the control performa...
110
click to vote
CADE
2005
Springer
16 years 6 days ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
106
click to vote
IS
2011
14 years 6 months ago
2011
We consider the determinism checking of XML Schema content models, as required by the W3C Recommendation. We argue that currently applied solutions have flaws and make processors...
EMNLP
2008
15 years 1 months ago
2008
We present an algorithmic framework for learning multiple related tasks. Our framework exploits a form of prior knowledge that relates the output spaces of these tasks. We present...