3799 search results - page 84 / 760 » An Engineering Approach to Formal Methods |
ICFCA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
CLEF
2006
Springer
14 years 24 days ago
2006
Springer
This paper presents a simple approach to the Wikipedia Question Answering pilot task in CLEF 2006. The approach ranks the snippets, retrieved using the Lucene search engine, by mea...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
Continuous probability distributions are widely used to mathematically describe random phenomena in engineering and physical sciences. In this paper, we present a methodology that ...
ZUM
2005
Springer
14 years 2 months ago
2005
Springer
There is significant interest in the use of Z in conjunction with object-orientation. Here we present a new approach to structuring Z specifications in an object-oriented (OO) st...
IJIT
2004
13 years 10 months ago
2004
As computer network technology becomes increasingly complex, it becomes necessary to place greater requirements on the validity of developing standards and the resulting technology...