Sciweavers

2705 search results - page 366 / 541
» Privacy in Data Mining Using Formal Methods
Sort
View
ICCS
2005
Springer
15 years 12 months ago
Merge-Based Computation of Minimal Generators
Abstract. Minimal generators (mingens) of concept intents are valuable elements of the Formal Concept Analysis (FCA) landscape, which are widely used in the database field, for da...
Céline Frambourg, Petko Valtchev, Robert Go...
DILS
2009
Springer
15 years 4 months ago
Slicing through the Scientific Literature
Abstract. Success in the life sciences depends on access to information in knowledge bases and literature. Finding and extracting the relevant information depends on a user's ...
Christopher J. O. Baker, Patrick Lambrix, Jonas La...
CCS
2004
ACM
15 years 12 months ago
IP covert timing channels: design and detection
A network covert channel is a mechanism that can be used to leak information across a network in violation of a security policy and in a manner that can be difficult to detect. In...
Serdar Cabuk, Carla E. Brodley, Clay Shields
JIIS
2006
100views more  JIIS 2006»
15 years 6 months ago
Spatial associative classification: propositional vs structural approach
Spatial associative classification takes advantage of employing association rules for spatial classification purposes. In this work, we investigate spatial associative classificati...
Michelangelo Ceci, Annalisa Appice
EMSOFT
2007
Springer
16 years 19 days ago
WCET estimation for executables in the presence of data caches
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
Rathijit Sen, Y. N. Srikant