4502 search results - page 393 / 901 » Regular Model Checking |
180
click to vote
ESOA
2006
15 years 10 months ago
2006
This paper describes a car traffic control simulation realised in a decentralised way by message propagations: congested nodes (roads intersections) send speed-up or slow-down mess...
202
click to vote
UAI
2008
15 years 8 months ago
2008
Gaussian Markov random fields (GMRFs) are useful in a broad range of applications. In this paper we tackle the problem of learning a sparse GMRF in a high-dimensional space. Our a...
195
click to vote
NIPS
2004
15 years 8 months ago
2004
This paper investigates the effect of Kernel Principal Component Analysis (KPCA) within the classification framework, essentially the regularization properties of this dimensional...
171
click to vote
NIPS
2003
15 years 8 months ago
2003
We generalise the Gaussian process (GP) framework for regression by learning a nonlinear transformation of the GP outputs. This allows for non-Gaussian processes and non-Gaussian ...
162
click to vote
WSCG
2003
15 years 8 months ago
2003
We present a method for real-time level of detail reduction that is able to display high-complexity polygonal surface data. A compact and efficient regular grid representation is...