1449 search results - page 214 / 290 » Finiteness results for sigmoidal |
156
click to vote
ITCC
2005
IEEE
15 years 12 months ago
2005
IEEE
We describe our experience applying tabular mathematical approaches to software specifications. Our purpose is to show alternative approaches to writing tabular specifications and...
187
click to vote
RTAS
2005
IEEE
15 years 12 months ago
2005
IEEE
Feedback control real-time scheduling (FCS) aims at satisfying performance specifications of real-time systems based on adaptive resource management. Existing FCS algorithms often...
188
click to vote
MICCAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In the present study, fully nonlinear (i.e. accounting for both geometric and material nonlinearities) patient specific finite element brain model was applied to predict ...
154
click to vote
ISMS
2004
Springer
15 years 11 months ago
2004
Springer
: The biomechanical properties of soft tissue derived from experimental measurements are critical for developing a reality-based model for minimally invasive surgical training and ...
179
click to vote
KBSE
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...