141 search results - page 17 / 29 » A type system for certified binaries |
ARTMED
2007
13 years 7 months ago
2007
Objective: This study investigates the use of automated pattern recognition methods on magnetic resonance data with the ultimate goal to assist clinicians in the diagnosis of brai...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
This paper introduces a gradient-based reward prediction update mechanism to the XCS classifier system as applied in neuralnetwork type learning and function approximation mechani...
TSE
1998
13 years 7 months ago
1998
—This paper demonstrates the use of a model-based evaluation approach for instrumentation systems (ISs). The overall objective of this study is to provide early feedback to tool ...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract--This paper investigates the uniqueness of a nonnegative vector solution and the uniqueness of a positive semidefinite matrix solution to underdetermined linear systems. A...
EMNLP
2004
13 years 9 months ago
2004
Anticipating the availability of large questionanswer datasets, we propose a principled, datadriven Instance-Based approach to Question Answering. Most question answering systems ...