76 search results - page 14 / 16 » A Quantitative Study of Small Disjuncts |
SIGSOFT
2002
ACM
14 years 6 months ago
2002
ACM
Static checking can verify the absence of errors in a program, but often requires written annotations or specifications. As a result, static checking can be difficult to use effec...
SAC
2009
ACM
14 years 24 days ago
2009
ACM
This paper introduces LDA-G, a scalable Bayesian approach to finding latent group structures in large real-world graph data. Existing Bayesian approaches for group discovery (suc...
ICDCS
2008
IEEE
14 years 13 days ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
ISCC
2006
IEEE
14 years 10 hour ago
2006
IEEE
— The stability and robustness of BGP remains one of the most critical elements in sustaining today’s Internet. In this paper, we study the structure and stability of origin ad...
MICCAI
2001
Springer
13 years 10 months ago
2001
Springer
Standard practice in quantitative structural neuroimaging is a segmentation into brain tissue, subcortical structures, fluid space and lesions followed by volume calculations of gr...