Sciweavers

2299 search results - page 72 / 460
» Logical Data Expiration
Sort
View
COMPASS
1994
15 years 4 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
114
Voted
ISMB
1994
15 years 1 months ago
Genetic Map Construction with Constraints
Apilot program,CME,is describedfor generatinga physical genetic mapfromhybridization fingerprintingdata. CMEis implementedin the parallel constraint logic programming language Eli...
Dominic A. Clark, Christopher J. Rawlings, Sylvie ...
POPL
2012
ACM
13 years 8 months ago
Probabilistic relational reasoning for differential privacy
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
Gilles Barthe, Boris Köpf, Federico Olmedo, S...
96
Voted
FUZZY
2001
Springer
126views Fuzzy Logic» more  FUZZY 2001»
15 years 5 months ago
Latent Semantic Analysis for German Literature Investigation
The paper presents the results of experiments of usage of LSA for analysis of textual data. The method is explained in brief and special attention is pointed on its potential for c...
Preslav Nakov
88
Voted
CHI
1996
ACM
15 years 4 months ago
SHK: Single Hand Key Card for Mobile Devices
A new input unit for mobile devices is discussed. High speed text input through touch typing and mouse data input is possible through an SHK: Single Hand Key card, "castanets...
Masakatsu Sugimoto, Kimiyo Takahashi