6829 search results - page 1274 / 1366 » Quantitative Generalizations of Languages |
115
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
132
click to vote
TCC
2009
Springer
16 years 4 months ago
2009
Springer
Verifiable random functions (VRFs), introduced by Micali, Rabin and Vadhan, are pseudorandom functions in which the owner of the seed produces a public-key that constitutes a commi...
115
Voted
KDD
2009
ACM
16 years 4 months ago
2009
ACM
Research in relational data mining has two major directions: finding global models of a relational database and the discovery of local relational patterns within a database. While...
141
Voted
KDD
2008
ACM
16 years 3 months ago
2008
ACM
Researchers in the social and behavioral sciences routinely rely on quasi-experimental designs to discover knowledge from large databases. Quasi-experimental designs (QEDs) exploi...
132
Voted
KDD
2007
ACM
16 years 3 months ago
2007
ACM
We now have incrementally-grown databases of text documents ranging back for over a decade in areas ranging from personal email, to news-articles and conference proceedings. While...