2008 search results - page 339 / 402 » Computing with Equations |
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— This paper addresses planning of continuous paths for mobile sensors to improve long-term forecast performance. With the information gain defined by the mutual information bet...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Systems biologists are often faced with competing models for a given experimental system. Unfortunately, performing experiments can be time-consuming and expensive. Therefore, ...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
A class of nonlinear transformation-based filters (NLTF) for state estimation is proposed. The nonlinear transformations that can be used include first (TT1) and second (TT2) or...
TPHOL
2008
IEEE
14 years 4 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
CEC
2007
IEEE
14 years 4 months ago
2007
IEEE
— Despite having a wide-spread applicability of evolutionary optimization procedures over the past few decades, EA researchers still face criticism about the theoretical optimali...