Sciweavers

733 search results - page 64 / 147
» Formal Reasoning About Intrusion Detection Systems
Sort
View
FOIS
2008
15 years 1 months ago
Cognitive Context and Arguments from Ontologies for Learning
The deployment of learning resources on the web by different experts has resulted in the accessibility of multiple viewpoints about the same topics. In this work we assume that lea...
Christiana Panayiotou, Brandon Bennett
AINA
2010
IEEE
15 years 5 months ago
Active Data Selection for Sensor Networks with Faults and Changepoints
Abstract—We describe a Bayesian formalism for the intelligent selection of observations from sensor networks that may intermittently undergo faults or changepoints. Such active d...
Michael A. Osborne, Roman Garnett, Stephen J. Robe...
ESWS
2007
Springer
15 years 6 months ago
Minimal Deductive Systems for RDF
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
Sergio Muñoz, Jorge Pérez, Claudio G...
KDD
2006
ACM
172views Data Mining» more  KDD 2006»
16 years 8 days ago
Attack detection in time series for recommender systems
Recent research has identified significant vulnerabilities in recommender systems. Shilling attacks, in which attackers introduce biased ratings in order to influence future recom...
Sheng Zhang, Amit Chakrabarti, James Ford, Fillia ...
LISP
2002
105views more  LISP 2002»
14 years 11 months ago
Specification Diagrams for Actor Systems
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
Scott F. Smith, Carolyn L. Talcott