1689 search results - page 99 / 338 » On Natural Non-dcpo Domains |
156
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents an approach for relating informed task models and system models in the domain of safety critical interactive systems. The models, which are usually developed f...
172
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
142
click to vote
TSD
2004
Springer
15 years 11 months ago
2004
Springer
Discourse in formal domains, such as mathematics, is characterized by a mixture of telegraphic natural language and embedded formal expressions. Little is known about the suitabil...
183
click to vote
NLDB
2001
Springer
15 years 10 months ago
2001
Springer
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
168
click to vote
NLPRS
2001
Springer
15 years 10 months ago
2001
Springer
In this project report we describe work in statistical parsing using the maximum entropy technique and the Alpino language analysis system for Dutch. A major difficulty in this d...