Sciweavers

5615 search results - page 363 / 1123
» Active Learner Modelling
Sort
View
SADFE
2008
IEEE
16 years 16 days ago
Exemplifying Attack Identification and Analysis in a Novel Forensically Viable Syslog Model
This research builds on our method for validating syslog entries proposed in [5]. The goal of the proposed method is to allow syslog files to be forensically viable. The goal with...
Steena Dominica Steven Monteiro, Robert F. Erbache...
160
Voted
ISMIS
1999
Springer
15 years 10 months ago
Machine Learning Method for Software Quality Model Building
Software quality prediction can be cast as a concept learning problem. In this paper, we discuss the full cycle of an application of Machine Learning to software quality predictio...
Mauricio Amaral de Almeida, Stan Matwin
JOCN
2006
79views more  JOCN 2006»
15 years 6 months ago
fMRI Evidence for a Three-Stage Model of Deductive Reasoning
In an event-related fMRI study, we investigated the neurocognitive processes underlying deductive reasoning. We specifically focused on three temporally separable phases: (1) the ...
Thomas Fangmeier, Markus Knauff, Christian C. Ruff...
FUIN
2007
104views more  FUIN 2007»
15 years 6 months ago
Modelling and Checking Timed Authentication of Security Protocols
In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a session and ...
Gizela Jakubowska, Wojciech Penczek
169
Voted
GAMESEC
2010
136views Game Theory» more  GAMESEC 2010»
15 years 4 months ago
Effective Multimodel Anomaly Detection Using Cooperative Negotiation
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...
Alberto Volpatto, Federico Maggi, Stefano Zanero