3128 search results - page 230 / 626 » Finite element method |
130
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
132
Voted
FOSSACS
2000
Springer
15 years 7 months ago
2000
Springer
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
149
Voted
CSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Parallel computing is widely used for large scale threedimensional simulation of seismic wave propagation. One particularity of most of these simulations is to consider a finite c...
154
Voted
VMV
2008
15 years 5 months ago
2008
Median averaging is a powerful averaging concept on sets of vector data in finite dimensions. A generalization of the median for shapes in the plane is introduced. The underlying ...
106
click to vote
UAI
2001
15 years 5 months ago
2001
We present a new method for estimating the expected return of a POMDP from experience. The estimator does not assume any knowledge of the POMDP, can estimate the returns for finit...