2303 search results - page 78 / 461 » The Cryptographic Abstract Machine |
167
click to vote
TNN
2008
15 years 6 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...
149
click to vote
BSL
2008
15 years 6 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...
176
click to vote
ACAL
2009
Springer
16 years 24 days 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...
139
click to vote
TPHOL
1999
IEEE
15 years 10 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...
149
click to vote
AAAI
2006
15 years 7 months ago
2006
of somewhat abstracting away from the literal physiological measurements of articulation that are so closely tied to the acoustic signal, and with some additional computational bur...