3378 search results - page 160 / 676 » A universe of binding and computation |
175
click to vote
NAACL
1994
15 years 7 months ago
1994
We present results ofexperiments designed to assess the usefulness of a new technique for the evaluation of translation quality, comparing human rankings with automatic measures. ...
172
click to vote
IIE
2006
15 years 6 months ago
2006
Plagiarism in universities has always been a difficult problem to overcome. Various tools have been developed over the past few years to help teachers detect plagiarism in students...
182
click to vote
SEUS
2010
IEEE
15 years 4 months ago
2010
IEEE
Real-time systems need to be time-predictable in order to prove the timeliness of all their time-critical responses. While this is a well-known fact, recent efforts of the communit...
194
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We present an explicitly typed lambda calculus "`a la Church" based on the union and intersection types discipline; this system is the counterpart of the standard type a...
167
click to vote
PPDP
2004
Springer
15 years 12 months ago
2004
Springer
We introduce the theoretical basis for tracing lazy functional logic computations in a declarative multi-paradigm language like Curry. Tracing computations is a difficult task due...