649 search results - page 75 / 130 » Comparative Evaluation of PL languages |
ICFP
2009
ACM
14 years 11 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
ICML
2005
IEEE
14 years 11 months ago
2005
IEEE
This paper describes the use of machine learning to improve the performance of natural language question answering systems. We present a model for improving story comprehension th...
PVM
2007
Springer
14 years 5 months ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
ICDM
2005
IEEE
14 years 4 months ago
2005
IEEE
In this paper we study a new problem in temporal pattern mining: discovering frequent arrangements of temporal intervals. We assume that the database consists of sequences of even...
ECML
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We consider the problem of predicting how a user will continue a given initial text fragment. Intuitively, our goal is to develop a “tab-complete” function for natura...