Sciweavers

2944 search results - page 237 / 589
» Robust Semantic Construction
Sort
View
GTTSE
2007
Springer
16 years 1 months ago
Evolving a DSL Implementation
Abstract. Domain Specific Languages (DSLs) are small languages designed for use in a specific domain. DSLs typically evolve quite radically throughout their lifetime, but current...
Laurence Tratt
TYPES
2007
Springer
16 years 28 days ago
A Declarative Language for the Coq Proof Assistant
This paper presents a new proof language for the Coq proof assistant. This language uses the declarative style. It aims at providing a simple, natural and robust alternative to the...
Pierre Corbineau
AAAI
2007
15 years 9 months ago
Finding Related Pages Using Green Measures: An Illustration with Wikipedia
We introduce a new method for finding nodes semantically related to a given node in a hyperlinked graph: the Green method, based on a classical Markov chain tool. It is generic, ...
Yann Ollivier, Pierre Senellart
DILS
2008
Springer
15 years 8 months ago
Ontology Design Principles and Normalization Techniques in the Web
The open, decentralized nature of the Semantic Web demands fundamental changes in our approach to ontology development and deployment. To maximize the expressiveness and robustnes...
Xiaoshu Wang, Jonas S. Almeida, Arlindo L. Oliveir...
COLING
2008
15 years 8 months ago
The Choice of Features for Classification of Verbs in Biomedical Texts
We conduct large-scale experiments to investigate optimal features for classification of verbs in biomedical texts. We introduce a range of feature sets and associated extraction ...
Anna Korhonen, Yuval Krymolowski, Nigel Collier