6618 search results - page 410 / 1324 » Natural Logic for Natural Language |
190
click to vote
UML
2001
Springer
16 years 4 days ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
178
click to vote
ICFP
1996
ACM
15 years 12 months ago
1996
ACM
An extension of the simply-typed lambda calculus is presented which contains both well-structured inductive and coinductive types, and which also identifies a class of types for w...
189
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
In the context of a care network, we describe our method for reconstitution of a medical ontology via the translation of a medical database (DB) towards RDF(S) language. Then we sh...
225
click to vote
EACL
2006
ACL Anthology
15 years 9 months ago
2006
ACL Anthology
Term translation probabilities proved an effective method of semantic smoothing in the language modelling approach to information retrieval. We use Generalized Latent Semantic Ana...
199
click to vote
WSC
1998
15 years 9 months ago
1998
Recent years have seen great interest in the use of Java as a language for developing computer simulations and in the development of methods that utilise the inherently distribute...