Sciweavers

25 search results - page 2 / 5
» Prospects for a Kantian Machine
Sort
View
AMAI
2000
Springer
13 years 5 months ago
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
This is a prospective on the research in the intersection of mathematics and artificial intelligence that I see as having been the most important over the past 10 years and that I...
Harvey J. Greenberg
BMCBI
2005
125views more  BMCBI 2005»
13 years 5 months ago
A simple approach for protein name identification: prospects and limits
Background: Significant parts of biological knowledge are available only as unstructured text in articles of biomedical journals. By automatically identifying gene and gene produc...
Katrin Fundel, Daniel Güttler, Ralf Zimmer, J...
IACR
2011
116views more  IACR 2011»
12 years 5 months ago
Some Words About Cryptographic Key Recognition In Data Streams
Search for cryptographic keys in RAM is a new and prospective technology which can be used, primarily, in the computer forensics. In order to use it, a cryptanalyst must solve, at...
Alexey Chilikov, Evgeny Alekseev
HPCN
1997
Springer
13 years 9 months ago
Evaluation of High Performance Fortran Through Application Kernels
Since the de nition of the High Performance Fortran HPF standard, we have been maintaining a suite of application kernel codes with the aim of using them to evaluate the availabl...
H. W. Yau, Geoffrey Fox, Kenneth A. Hawick
TSD
2010
Springer
13 years 3 months ago
Towards an N-Version Dependency Parser
Abstract. Maltparser is a contemporary dependency parsing machine learningbased system that shows great accuracy. However 90% for Labelled Attachment Score (LAS) seems to be a de f...
Miguel Ballesteros, Jesús Herrera, Virginia...