2362 search results - page 302 / 473 » Programming in Standard ML |
111
click to vote
WSC
2000
15 years 5 months ago
2000
We summarize progress achieved on an interactive land use VRML application (ILUVA) with servlet assist. The purpose of this application is to enable one to take a virtual land are...
139
click to vote
AAAI
1994
15 years 5 months ago
1994
In this paper we consider updates that are specified as rules and consider simple knowledge bases consisting of ground atoms. We present a translation of the rule based update spe...
122
click to vote
EACL
1993
ACL Anthology
15 years 5 months ago
1993
ACL Anthology
The lexicons for Knowledge-Based Machine Translation systems require knowledge intensive morphological, syntactic and semantic information. This information is often used in diffe...
147
click to vote
SLP
1994
15 years 5 months ago
1994
The design and implementation of constraint logic programming (CLP) languages over intervals is revisited. Instead of decomposing complex constraints in terms of simple primitive ...
134
click to vote
ATVA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...