2211 search results - page 133 / 443 » Robustness of Model-Based Simulations |
112
Voted
CONTEXT
2003
Springer
15 years 8 months ago
2003
Springer
Our concern is the explanation generation in a representation based on contextual categorization. We point out that the explicit consideration of the context is necessary for the g...
256
Voted
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Manual surface reconstruction is still an everyday practice in applications involving complex irregular domains necessary for modeling biological systems. Rapid developme...
135
Voted
PODC
1999
ACM
15 years 8 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
165
click to vote
CPHYSICS
2010
15 years 3 months ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...
114
Voted
BC
2004
15 years 3 months ago
2004
Different kinds of articulators, such as the upper and lower lips, jaw, and tongue, are precisely coordinated in speech production. Based on a perturbation study of the production ...