2705 search results - page 465 / 541 » Privacy in Data Mining Using Formal Methods |
120
click to vote
WWW
2010
ACM
15 years 2 months ago
2010
ACM
With the phenomenal success of networking sites (e.g., Facebook, Twitter and LinkedIn), social networks have drawn substantial attention. On online social networking sites, link r...
103
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Advances in biotechnology and in high-throughput methods for gene analysis have contributed to an exponential increase in the number of scientific publications in thes...
191
Voted
JUCS
2006
15 years 1 months ago
2006
: Everyone realizes how powerful the few big Web search engine companies have become, both in terms of financial resources due to soaring stock quotes and in terms of the still hid...
103
Voted
FORMATS
2007
Springer
15 years 8 months ago
2007
Springer
Dierence Bound Matrices (DBMs) are the most commonly used data structure for model checking timed automata. Since long they are being used in successful tools like Kronos or UPPAA...
152
click to vote
AIME
2011
Springer
14 years 1 months ago
2011
Springer
This paper describes a novel methodological approach to identifying inconsistencies when concurrently using multiple clinical practice guidelines. We discuss how to construct a for...