793 search results - page 85 / 159 » Input Modeling Tools for Complex Problems |
116
click to vote
GI
1998
Springer
15 years 4 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
ARTS
1997
Springer
15 years 3 months ago
1997
Springer
There have been significant advances on formal methods to verify complex systems recently. Nevertheless, these methods have not yet been accepted as a realistic alternative to the ...
107
click to vote
CORR
2007
Springer
14 years 12 months ago
2007
Springer
—This paper considers the design of efficient strategies that allow cognitive users to choose frequency bands to sense and access among multiple bands with unknown parameters. F...
ICANN
2005
Springer
15 years 5 months ago
2005
Springer
Image superresolution involves the processing of an image sequence to generate a still image with higher resolution. Classical approaches, such as bayesian MAP methods, require ite...
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
We give an overview of GRIP, a symmetry reduction tool for the probabilistic model checker PRISM, together with experimental results for a selection of example specifications. 1 ...