1995 search results - page 56 / 399 » The Chemical Abstract Machine |
IJON
2006
13 years 7 months ago
2006
Abstract. Functional data analysis is a growing research field and numerous works present a generalization of the classical statistical methods to function classification or regres...
TNN
2008
13 years 7 months ago
2008
Abstract--Tao et al. have recently proposed the posterior probability support vector machine (PPSVM) which uses soft labels derived from estimated posterior probabilities to be mor...
BSL
2008
13 years 7 months ago
2008
Church's Thesis asserts that the only numeric functions that can be calculated by effective means are the recursive ones, which are the same, extensionally, as the Turingle nu...
ACAL
2009
Springer
14 years 2 months ago
2009
Springer
The Information Fusion Panel within The Technical Cooperation Program (TTCP) is developing algorithms to perform machine-based situation assessment to assist human operators in co...
TPHOL
1999
IEEE
13 years 12 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...