5130 search results - page 751 / 1026 » Constraint Query Languages |
188
click to vote
FLOPS
2010
Springer
16 years 4 days ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
184
click to vote
IPPS
2002
IEEE
15 years 12 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
216
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
The perception-based theory of probabilistic reasoning which is outlined in this paper is not in the traditional spirit. Its principal aim is to lay the groundwork for a radical e...
195
click to vote
JFPLC
2001
15 years 8 months ago
2001
We propose an environment for musical constraint solving, in the visual programming language OpenMusic. We describe an implementation of a local search algorithm, called adaptive s...
168
click to vote
NAACL
2001
15 years 8 months ago
2001
This paper describes an approach to Machine Translation that places linguistic information at its foundation. The difficulty of translation from English to Japanese is illustrated...