926 search results - page 151 / 186 » Prolog as the First Programming Language |
163
click to vote
DLS
2009
15 years 7 days ago
2009
Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched. Although ...
108
click to vote
EMNLP
2009
15 years 7 days ago
2009
We propose a novel objective function for discriminatively tuning log-linear machine translation models. Our objective explicitly optimizes the BLEU score of expected n-gram count...
208
click to vote
CP
2009
Springer
16 years 3 months ago
2009
Springer
Millions of containers are stowed every week with goods worth billions of dollars, but container vessel stowage is an all but neglected combinatorial optimization problem. In this ...
106
click to vote
CADE
2003
Springer
16 years 2 months ago
2003
Springer
We propose a practical path-based framework for deriving and simplifying source-tracking information for term unification in the empty theory. Such a framework is useful for debugg...
106
click to vote
TIC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...