9260 search results - page 1785 / 1852 » Posterior distributions are computable from predictive distr... |
105
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Maximal clique enumeration (MCE) is a fundamental problem in graph theory and has important applications in many areas such as social network analysis and bioinformatics. The prob...
115
click to vote
APN
2010
Springer
15 years 5 months ago
2010
Springer
Service-oriented computing proposes services as building blocks which can be composed to complex systems. To reason about the correctness of a service, its communication protocol n...
105
Voted
ICS
2009
Tsinghua U.
15 years 5 months ago
2009
Tsinghua U.
Modern GPUs offer much computing power at a very modest cost. Even though CUDA and other related recent developments are accelerating the use of GPUs for general purpose applicati...
SIGGRAPH
2010
ACM
15 years 5 months ago
2010
ACM
Material design is the process by which artists specify the reflectance
properties of a surface, such as its diffuse color and specular
roughness. We present a user study to eval...
110
click to vote
NDSS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes automatic protocol generation (APG for short), a novel mechanism to generate security protocols automatically. With APG, the protocol designer inputs the spec...