1779 search results - page 248 / 356 » A Formal Model of Data Privacy |
115
click to vote
TAMC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Formal language learning models have been widely investigated in the last four decades. But it was not until recently that the model of learning from corrections was intr...
123
Voted
SIAMCO
2000
15 years 3 months ago
2000
It is well known that a crucial property for the effective identification of time-varying systems is that the data carry continual information on the parameters to be estimated. As...
138
click to vote
TVCG
2012
13 years 6 months ago
2012
— Scientists conducting microarray and other experiments use circular Venn and Euler diagrams to analyze and illustrate their results. As one solution to this problem, this artic...
171
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
128
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...