4485 search results - page 249 / 897 » Equivalences on Observable Processes |
158
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Higher order energy functions have the ability to encode
high level structural dependencies between pixels, which
have been shown to be extremely powerful for image labeling
pro...
120
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
We introduce the controlled predictive linearGaussian model (cPLG), a model that uses predictive state to model discrete-time dynamical systems with real-valued observations and v...
219
click to vote
ICML
2004
IEEE
16 years 5 months ago
2004
IEEE
Principal component analysis (PCA) is a widely used statistical technique for unsupervised dimension reduction. K-means clustering is a commonly used data clustering for unsupervi...
244
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
139
click to vote
EDBT
2002
ACM
16 years 4 months ago
2002
ACM
An important issue in data integration is the integration of semantically equivalent but schematically heterogeneous data sources. Declarative mechanisms supporting powerful source...