2623 search results - page 254 / 525 » Universal Learning Theory |
167
click to vote
ITP
2010
15 years 8 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...
161
click to vote
ECIS
2001
15 years 8 months ago
2001
Information systems development is regarded as a series of distributed activities aiming at allocating resources in order to promote the development and use of computer-based syst...
182
click to vote
NAACL
1994
15 years 8 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
WSC
1996
15 years 8 months ago
1996
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
142
click to vote
LFP
1990
15 years 7 months ago
1990
Category theorists invented monads in the 1960's to concisely express certain aspects of universal algebra. Functional programmers invented list comprehensions in the 1970�...