10038 search results - page 1882 / 2008 » Model Checking for Managers |
115
Voted
CCS
2009
ACM
16 years 1 months ago
2009
ACM
We revisit the venerable question of access credentials management, which concerns the techniques that we, humans with limited memory, must employ to safeguard our various access ...
98
Voted
KDD
2009
ACM
16 years 1 months ago
2009
ACM
In large social networks, nodes (users, entities) are influenced by others for various reasons. For example, the colleagues have strong influence on one's work, while the fri...
121
Voted
KDD
2009
ACM
16 years 1 months ago
2009
ACM
Recently many data types arising from data mining and Web search applications can be modeled as bipartite graphs. Examples include queries and URLs in query logs, and authors and ...
89
Voted
KDD
2007
ACM
16 years 1 months ago
2007
ACM
We consider the problem of detecting anomalies in high arity categorical datasets. In most applications, anomalies are defined as data points that are 'abnormal'. Quite ...
126
Voted
KDD
2007
ACM
16 years 1 months ago
2007
ACM
Commercial datasets are often large, relational, and dynamic. They contain many records of people, places, things, events and their interactions over time. Such datasets are rarel...