Sciweavers

1648 search results - page 199 / 330
» Structuring namespace descriptions
Sort
View
IWFM
1998
134views Formal Methods» more  IWFM 1998»
15 years 5 months ago
Facilitating Modular Property-Preserving Extensions of Programming Languages
We will explore an approach to modular programming language descriptions and extensions in a denotational style. Based on a language core, language features are added stepwise on ...
Claus Pahl
WSC
1997
15 years 5 months ago
The Department of Defense High Level Architecture
The High Level Architecture (HLA) provides the specification of a common technical architecture for use across all classes of simulations in the US Department of Defense. It provi...
Judith S. Dahmann, Richard Fujimoto, Richard M. We...
AAAI
1996
15 years 5 months ago
Monitoring Frog Communities: An Application of Machine Learning
Automatic recognition of animal vocalisations would be a valuable tool for a variety of biological research and environmental monitoring applications . We report the development o...
Andrew Taylor, Graeme Watson, Gordon Grigg, Hamish...
COLING
1996
15 years 5 months ago
Processing Metonymy- a Domain-Model Heuristic Graph Traversal Approach
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
Jacques Bouaud, Bruno Bachimont, Pierre Zweigenbau...
COLING
1996
15 years 5 months ago
Corpus-based annotated test set for Machine Translation evaluation by an Industrial User
This article is concerned with the building of a test data set for assisting the industrial user in machine translation evaluation. The emphasis is laid on the interest of an appr...
Eva Dauphin, Veronika Lux