2362 search results - page 87 / 473 » Programming in Standard ML |
112
Voted
AGP
1993
IEEE
15 years 7 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
129
Voted
EMNLP
2010
15 years 1 months ago
2010
This paper introduces dual decomposition as a framework for deriving inference algorithms for NLP problems. The approach relies on standard dynamic-programming algorithms as oracl...
133
Voted
ER
1998
Springer
15 years 7 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
112
Voted
ECAI
2006
Springer
15 years 7 months ago
2006
Springer
Bounding constraints are used to bound the tolerance of solutions under certain undesirable features. Standard solvers propagate them one by one. Often times, it is easy to satisfy...
146
Voted
OWLED
2008
15 years 5 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...