In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
This paper presents two optimalizations of standard parsing techniques applied to Czech as a representative of a free word order language with rich morphology. Our approach is bas...
In 1998, the Functional Requirements for Bibliographic Records FRBR model which is composed by four entities work, expression, manifestation and item and their associative relatio...
Simon C. Lin, Ya-ning Chen, Shu-jiun Chen, Yi-ting...
: The middle ground between distance learning and standard-issue classroom education is ripe for exploration. In particular, the Open Directory Project shows that groups of people ...
: In this paper, we will discuss the problem of proposing links for hypertexts based on Case-Based Reasoning (CBR) techniques. These proposals can be used in addition to traditiona...
Ernst Georg Haffner, Andreas Heuer 0002, Uwe Roth,...