3192 search results - page 316 / 639 » Translating Model Simulators to Analysis Models |
119
click to vote
HAPTICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Simplified soft tissue models used in surgical simulations cannot perfectly reproduce all material behaviors. In particular, many tissues exhibit the Poynting effect, which resul...
130
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
143
Voted
VTC
2008
IEEE
15 years 10 months ago
2008
IEEE
–In this paper we present an analytical model for delay tolerant message propagation in a dynamic vehicular network. The analysis provides upper and lower bounds for message prop...
121
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
We present a simple ant model that solves a discrete foraging problem. We describe simulations and provide a complete convergence analysis: we show that the ant population compute...
137
Voted
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
The task of providing an optimal analysis of the state of the atmosphere requires the development of dynamic data-driven systems (d3 as) that efficiently integrate the observationa...