778 search results - page 53 / 156 » Text Adaptation Using Formal Concept Analysis |
108
Voted
MM
2003
ACM
15 years 8 months ago
2003
ACM
This demonstration will illustrate the key technical and user interface aspects of the Web Adaptation Technology. Various transformations underlying the system will be shown that ...
118
click to vote
TYPES
1999
Springer
15 years 6 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...
136
Voted
CLA
2006
15 years 4 months ago
2006
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...
135
Voted
ARTCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Nowadays, the transmission of digitized medical information has become very convenient due to the generality of Internet. Internet has created the biggest benefit to achieve the tr...
112
Voted
CSEE
2000
Springer
15 years 7 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...