3113 search results - page 321 / 623 » Numerical Methods |
224
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
173
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Efficient channel feedback methods are becoming more important in limited-feedback multi-user multiple input multiple output (MU-MIMO) systems. We propose a new Dynamic channEl...
155
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— The parametric excitation based gait generation method proposed by Asano et al. restores mechanical energy lost by heel-strike collisions. Harata et. al. applied this method to...
151
click to vote
SIAMSC
2010
15 years 5 months ago
2010
Abstract. We introduce an operator-based scheme for preconditioning stiff components encountered in implicit methods for hyperbolic systems of PDEs posed on regular grids. The met...
197
click to vote
VISUALIZATION
2005
IEEE
16 years 4 days ago
2005
IEEE
We present a robust method for 3D reconstruction of closed surfaces from sparsely sampled parallel contours. A solution to this problem is especially important for medical segment...