Sciweavers

1296 search results - page 168 / 260
» The Number Field Sieve
Sort
View
CHI
2009
ACM
16 years 6 months ago
API usability: CHI'2009 special interest group meeting
Programmers of all types from novice end-user developers to professional software engineers make use of application programming interfaces (API) within their various designs. And,...
John M. Daughtry III, Umer Farooq, Jeffrey Stylos,...
CAV
2009
Springer
209views Hardware» more  CAV 2009»
16 years 6 months ago
Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...
PKC
2009
Springer
164views Cryptology» more  PKC 2009»
16 years 6 months ago
Asynchronous Multiparty Computation: Theory and Implementation
Abstract. We propose an asynchronous protocol for general multiparty computation with perfect security and communication complexity O(n2 |C|k) where n is the number of parties, |C|...
Ivan Damgård, Jesper Buus Nielsen, Martin Ge...
KDD
2006
ACM
147views Data Mining» more  KDD 2006»
16 years 6 months ago
Summarizing itemset patterns using probabilistic models
In this paper, we propose a novel probabilistic approach to summarize frequent itemset patterns. Such techniques are useful for summarization, post-processing, and end-user interp...
Chao Wang, Srinivasan Parthasarathy
177
Voted
KDD
2004
ACM
132views Data Mining» more  KDD 2004»
16 years 6 months ago
A probabilistic framework for semi-supervised clustering
Unsupervised clustering can be significantly improved using supervision in the form of pairwise constraints, i.e., pairs of instances labeled as belonging to same or different clu...
Sugato Basu, Mikhail Bilenko, Raymond J. Mooney