6740 search results - page 1253 / 1348 » Using Classification as a Programming Language |
127
click to vote
LCPC
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
110
click to vote
AAAI
1994
15 years 2 months ago
1994
The availability of large on-line text corpora provides a natural and promising bridge between the worlds of natural language processing (NLP) and machine learning (ML). In recent...
114
click to vote
MICS
2010
14 years 12 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
126
click to vote
IJSSE
2010
14 years 10 months ago
2010
Memory managers are an important part of any modern language: they are used to dynamically allocate memory for use in the program. Many managers exist and depending on the operati...
163
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
Current application development tools provide completely different programming models for the application server (e.g., Java and J2EE) and the client web browser (e.g., JavaScript...