585 search results - page 97 / 117 » Structured Formal Development in Isabelle |
88
Voted
ESWS
2006
Springer
15 years 3 months ago
2006
Springer
We present a comprehensive approach to ontology evaluation and validation, which have become a crucial problem for the development of semantic technologies. Existing evaluation met...
WSC
2008
15 years 2 months ago
2008
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
154
click to vote
DSVIS
2008
Springer
15 years 1 months ago
2008
Springer
In the last years User Interface Description Languages (UIDL) appeared as a suitable solution for developing multi-target user interfaces. By applying appropriate model transformat...
ESWS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
119
click to vote
CLIN
2004
15 years 1 months ago
2004
The present paper reports on an end-to-end application using a deep processing grammar to extract spatial and temporal information of prepositional and adverbial expressions from ...