2514 search results - page 28 / 503 » The use of industrial-strength formal methods |
158
click to vote
ISIM
2007
15 years 7 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 ...
159
click to vote
KBS
2006
15 years 6 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...
184
Voted
ACSC
2006
IEEE
16 years 4 days 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...
152
click to vote
JOT
2006
15 years 6 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...