955 search results - page 152 / 191 » Model Checking Operator Procedures |
81
Voted
ICRA
2009
IEEE
15 years 7 months ago
2009
IEEE
— Palpation of tissue and organs during a surgical procedure provides clinicians with valuable information for diagnosis and surgical planning. In robot-assisted minimally invasi...
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. This paper considers piecewise affine models of genetic regulatory networks and focuses on the problem of detecting switches among different modes of operation in gene e...
DFG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
115
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
—Intelligent mobile terminals (or users) of next generation wireless networks are expected to initiate voice over IP (VoIP) calls using session set-up protocols like H.323 or SIP...
100
Voted
GECCO
1999
Springer
15 years 5 months ago
1999
Springer
This paper describes the application of an arti cial immune system, AIS , model to a scheduling application, in which sudden changes in the scheduling environment require the rap...