Sciweavers

1779 search results - page 221 / 356
» A Formal Model of Data Privacy
Sort
View
CRV
2009
IEEE
115views Robotics» more  CRV 2009»
15 years 11 months ago
Learning Model Complexity in an Online Environment
In this paper we introduce the concept and method for adaptively tuning the model complexity in an online manner as more examples become available. Challenging classification pro...
Dan Levi, Shimon Ullman
TABLEAUX
2009
Springer
15 years 11 months ago
Tableaux and Model Checking for Memory Logics
Memory logics are modal logics whose semantics is specified in terms of relational models enriched with additional data structure to represent memory. The logical language is then...
Carlos Areces, Diego Figueira, Daniel Gorín...
ACSAC
2003
IEEE
15 years 8 months ago
Bayesian Event Classification for Intrusion Detection
Intrusion detection systems (IDSs) attempt to identify attacks by comparing collected data to predefined signatures known to be malicious (misuse-based IDSs) or to a model of lega...
Christopher Krügel, Darren Mutz, William K. R...
ICDM
2005
IEEE
143views Data Mining» more  ICDM 2005»
15 years 10 months ago
An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation
Monotonicity is a simple yet significant qualitative characteristic. We consider the problem of segmenting an array in up to K segments. We want segments to be as monotonic as po...
Daniel Lemire, Martin Brooks, Yuhong Yan
ADBIS
2007
Springer
130views Database» more  ADBIS 2007»
15 years 6 months ago
Graphical Querying of Multidimensional Databases
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...
Franck Ravat, Olivier Teste, Ronan Tournier, Gille...