1818 search results - page 131 / 364 » The Many Faces of a Translation |
109
click to vote
PODS
2010
ACM
15 years 5 months ago
2010
ACM
A generalization from string to trees and from languages to translations is given of the classical result that any regular language can be learned from examples: it is shown that ...
116
Voted
CP
2001
Springer
15 years 5 months ago
2001
Springer
Non-binary constraint satisfaction problems (CSPs) can be solved in two different ways. We can either translate the problem into an equivalent binary one and solve it using well-e...
128
Voted
HOTOS
1997
IEEE
15 years 5 months ago
1997
IEEE
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
98
Voted
HPCA
1996
IEEE
15 years 5 months ago
1996
IEEE
Traditional DMA requires the operating system to perform many tasks to initiate a transfer, with overhead on the order of hundreds or thousands of CPU instructions. This paper des...
104
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
The ML type system was originally introduced as a means of identifying a class of terms in a simple untyped language, often referred to as core-ML, whose evaluation could be guaran...