2695 search results - page 190 / 539 » The Complexity of Forecast Testing |
142
click to vote
PSTV
1993
15 years 6 months ago
1993
We present a new algorithm that can be used for solving the model−checking problem for linear−time temporal logic. This algorithm can be viewed as the combination of two exist...
131
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Bioactivity profiling using high-throughput in vitro assays can reduce the cost and time required for toxicological screening of environmental chemicals and can also r...
117
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract—This paper presents new low-complexity lattice-decoding algorithms for noncoherent block detection of quadrature amplitude modulation (QAM) and pulse amplitude modulatio...
153
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. This paper considers the sensor network localization problem using signal strength. Unlike range-based methods signal strength information is stored in a kernel matrix. L...
147
click to vote
KES
2006
Springer
15 years 4 months ago
2006
Springer
This paper describes an evaluation of a neural network technique for modelling fuel spray penetration in the cylinder of a diesel internal combustion engine. The model was implemen...