3371 search results - page 589 / 675 » Using parsimonious language models on web data |
150
click to vote
LICS
1991
IEEE
15 years 8 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...
256
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
Mitchell's notion of representation independence is a particularly useful application of Reynolds' relational parametricity -- two different implementations of an abstra...
140
click to vote
ICS
2010
Tsinghua U.
15 years 9 months ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
126
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
Software models provide independent perspectives onto software systems. Ideally, all models should use the same model element to describe the same part of a system. Practically, m...
149
click to vote
WSC
1997
15 years 5 months ago
1997
FACTOR/AIM (AIM) is a simulation system designed specifically for use in manufacturing decision support. AIM has been successfully applied to engineering design, scheduling, and p...