Sciweavers

2962 search results - page 194 / 593
» Reasoning on Association Rules
Sort
View
FSS
2008
134views more  FSS 2008»
15 years 6 months ago
A study of the behaviour of linguistic fuzzy rule based classification systems in the framework of imbalanced data-sets
In the field of classification problems, we often encounter classes with a very different percentage of patterns between them, classes with a high pattern percentage and classes w...
Alberto Fernández, Salvador García, ...
ICPR
2010
IEEE
15 years 4 months ago
An Optimum Class-Rejective Decision Rule and Its Evaluation
Decision-making systems intend to copy human reasoning which often consists in eliminating highly non probable situations (e.g. diseases, suspects) rather than selecting the most r...
Hoel Le Capitaine, Carl Frélicot
ESOP
2010
Springer
16 years 3 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
ATAL
2009
Springer
16 years 1 months ago
Stigmergic reasoning over hierarchical task networks
Stigmergy is usually associated with semantically simple problems such as routing. It can be applied to more complex problems by encoding them in the environment through which sti...
H. Van Dyke Parunak, Theodore C. Belding, Robert B...
CSFW
2007
IEEE
16 years 28 days ago
Reasoning about Concurrency for Security Tunnels
There has been excellent progress on languages for rigorously describing key exchange protocols and techniques for proving that the network security tunnels they establish preserv...
Alwyn Goodloe, Carl A. Gunter