Sciweavers

1486 search results - page 140 / 298
» Firewall Rules Analysis
Sort
View
ECSQARU
2005
Springer
15 years 10 months ago
Conditional Deduction Under Uncertainty
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
Audun Jøsang, Simon Pope, Milan Daniel
COOPIS
2002
IEEE
15 years 9 months ago
Modeling Coordination and Control in Cross-Organizational Workflows
Current e-service technology paradigms require the analysis and conceptual modeling of cooperative inter-organizational workflows. Cooperation among different organizations is base...
Enzo Colombo, Chiara Francalanci, Barbara Pernici
ACSC
2004
IEEE
15 years 8 months ago
Code Improvements for Model Elimination Based Reasoning Systems
We have been investigating ways in which the performance of model elimination based systems can be improved and in this paper we present some of our results. Firstly, we have inve...
Richard A. Hagen, Scott D. Goodwin, Abdul Sattar
EWCBR
2000
Springer
15 years 8 months ago
Activating Case-Based Reasoning with Active Databases
Many of today's CBR systems are passive in nature: they require human users to activate them manually and to provide information about the incoming problem explicitly. In this...
Sheng Li, Qiang Yang
ACL
2008
15 years 5 months ago
Extraction of Entailed Semantic Relations Through Syntax-Based Comma Resolution
This paper studies textual inference by investigating comma structures, which are highly frequent elements whose major role in the extraction of semantic relations has not been hi...
Vivek Srikumar, Roi Reichart, Mark Sammons, Ari Ra...