2514 search results - page 28 / 503 » The use of industrial-strength formal methods |
110
click to vote
ISIM
2007
15 years 3 months ago
2007
One of the main problems connected with the formal concept analysis and lattice construction is the high complexity of algorithms which plays a significant role when computing all ...
114
Voted
KBS
2006
15 years 1 months ago
2006
We show how Formal Concept Analysis (FCA) can be applied to Collaborative Recommenders. FCA is a mathematical method for analysing binary relations. Here we apply it to the relati...
134
Voted
ACSC
2006
IEEE
15 years 8 months ago
2006
IEEE
It is necessary to provide a method to store Web information effectively so it can be utilised as a future knowledge resource. A commonly adopted approach is to classify the retri...
CAV
2009
Springer
16 years 2 months ago
2009
Springer
107
Voted
JOT
2006
15 years 1 months ago
2006
There are some application domains to which it appears intrinsically challenging to introduce the services offered by formal engineering methods. This paper is an evidence-based p...