757 search results - page 44 / 152 » How to decide |
DALT
2009
Springer
14 years 11 days ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
DATE
1998
IEEE
14 years 53 min ago
1998
IEEE
1 Redundancy removal is an important step in combinational logic optimization. After a redundant wire is removed, other originally redundant wires may become irredundant, and some ...
RAID
1999
Springer
13 years 12 months ago
1999
Springer
Lately, many approaches have been developed to discover computer abuse. Some of them use data mining techniques to discover anomalous behavior in audit trail, considering this beh...
AUSAI
2006
Springer
13 years 11 months ago
2006
Springer
This paper presents two novel features of an emergent data visualization method coined "cellular ants": unsupervised data class labeling and shape negotiation. This metho...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Inter-organizational controls are mechanisms used to ensure and monitor that networked enterprises do not commit a fraud and behave as agreed. Many of such controls have, apart fro...