1567 search results - page 157 / 314 » A Mechanized Model of the Theory of Objects |
150
click to vote
JMLR
2010
14 years 8 months ago
2010
We describe a novel inference algorithm for sparse Bayesian PCA with a zero-norm prior on the model parameters. Bayesian inference is very challenging in probabilistic models of t...
199
click to vote
GIS
2004
ACM
16 years 2 months ago
2004
ACM
In the geometric data model [6], spatio-temporal data are modelled as a finite collection of triangles that are transformed by time-dependent affinities. To facilitate querying an...
107
click to vote
BPM
2007
Springer
15 years 8 months ago
2007
Springer
Historically, business process design has been driven by business objectives, specifically process improvement. However this cannot come at the price of control objectives which s...
118
click to vote
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
We present a static analysis for the automatic generation of symbolic prefetches in a transactional distributed shared memory. A symbolic prefetch specifies the first object to be...
132
click to vote
WWW
2009
ACM
16 years 2 months ago
2009
ACM
Social Networking is one of the major technological phenomena of the Web 2.0, with hundreds of millions of people participating. Social networks enable a form of self expression f...