3233 search results - page 495 / 647 » Validation Method for Intelligent Systems |
149
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: There is a vast need to find clinically applicable protein biomarkers as support in cancer diagnosis and tumour classification. In proteomics research, a number of met...
184
click to vote
SAC
2010
ACM
15 years 4 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
210
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
Reinforcement learning problems are commonly tackled with temporal difference methods, which use dynamic programming and statistical sampling to estimate the long-term value of ta...
197
click to vote
AMKM
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
176
click to vote
CVIU
2007
15 years 6 months ago
2007
Laser-based people tracking systems have been developed for mobile robotic, and intelligent surveillance areas. Existing systems rely on laser point clustering method to extract o...