2705 search results - page 416 / 541 » Privacy in Data Mining Using Formal Methods |
146
click to vote
IROS
2009
IEEE
16 years 24 days ago
2009
IEEE
— Many calibration methods calibrate a pair of sensors at a time. For robotic systems with many sensors, they are often time-consuming to use, and can also lead to inaccurate res...
189
click to vote
ESWS
2010
Springer
15 years 8 months ago
2010
Springer
In the Linked Open Data cloud one of the largest data sets, comprising of 2.5 billion triples, is derived from the Life Science domain. Yet this represents a small fraction of the ...
157
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
Many techniques have been developed over the years to automatically find bugs in software. Often, these techniques rely on formal methods and sophisticated program analysis. Whil...
207
click to vote
DOLAP
2005
ACM
15 years 8 months ago
2005
ACM
Different modeling approaches have been proposed to overcome every design pitfall of the development of the different parts of a data warehouse (DW) system. However, they are all ...
167
click to vote
SP
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...