1492 search results - page 270 / 299 » Testing Properties of Constraint-Graphs |
129
click to vote
PPOPP
2009
ACM
16 years 9 days ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...
120
Voted
KDD
2008
ACM
16 years 5 days ago
2008
ACM
Privacy-preserving data mining (PPDM) is an emergent research area that addresses the incorporation of privacy preserving concerns to data mining techniques. In this paper we prop...
102
click to vote
KDD
2006
ACM
16 years 5 days ago
2006
ACM
Given a huge real graph, how can we derive a representative sample? There are many known algorithms to compute interesting measures (shortest paths, centrality, betweenness, etc.)...
106
click to vote
KDD
2006
ACM
16 years 5 days ago
2006
ACM
KDD is a complex and demanding task. While a large number of methods has been established for numerous problems, many challenges remain to be solved. New tasks emerge requiring th...
83
Voted
CHI
2007
ACM
16 years 4 days ago
2007
ACM
Interface designers normally strive for a design that minimises the user's effort. However, when the design's objective is to train users to interact with interfaces tha...