4743 search results - page 243 / 949 » The PlusCal Algorithm Language |
132
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
129
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Local search is a powerful and well-established method for solving hard combinatorial problems. Yet, until recently, it has provided very little user support, leading to time-consu...
122
click to vote
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
A list of representative directional prepositions of the English language is investigated to develop computation models that output some general motion trajectory or goal directio...
265
Voted
ICFP
2009
ACM
16 years 4 months ago
2009
ACM
GADTs have proven to be an invaluable language extension, a.o. for ensuring data invariants and program correctness. Unfortunately, they pose a tough problem for type inference: w...
85
Voted
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Chez Scheme is now over 20 years old, the first version having been released in 1985. This paper takes a brief look back on the history of Chez Scheme's development to explor...