4745 search results - page 168 / 949 » Discretization: An Enabling Technique |
182
click to vote
UAI
2001
15 years 7 months ago
2001
This paper presents a new deterministic approximation technique in Bayesian networks. This method, "Expectation Propagation," unifies two previous techniques: assumed-de...
195
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
This paper describes a new kernel-based approach for linear system identification of stable systems. We model the impulse response as the realization of a Gaussian process whose s...
200
click to vote
CGF
2010
15 years 6 months ago
2010
We present a novel technique for the efficient boundary evaluation of sweep operations applied to objects in polygonal boundary representation. These sweep operations include Mink...
213
click to vote
FORMATS
2010
Springer
15 years 4 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
140
click to vote
EJWCN
2010
15 years 1 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...