446 search results - page 15 / 90 » Formal concept analysis based on hierarchical class analysis |
102
click to vote
CSFW
1999
IEEE
15 years 2 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
DSN
2005
IEEE
15 years 12 days ago
2005
IEEE
In general, decision support is one of the main purposes of model-based analysis of systems. Response surface methodology (RSM) is an optimization technique that has been applied ...
76
Voted
WWW
2004
ACM
15 years 11 months ago
2004
ACM
To improve the process of user information retrieval, we propose the concept of a latent semantic map (LSM), along with a method of generating this map. The novel aspect of the LS...
ISMB
1994
14 years 11 months ago
1994
Adaptive resonance theory (ART)describes a class of artificial neural networkarchitectures that act as classification tools whichself-organize, workin realtime, and require no ret...
PPSN
2004
Springer
15 years 3 months ago
2004
Springer
Current Genetic Algorithms can efficiently address order-k separable problems, in which the order of the linkage is restricted to a low value k. Outside this class, there exist hie...