1389 search results - page 65 / 278 » Healthcare simulation modeling and optimization using MedMod... |
102
click to vote
CDC
2008
IEEE
15 years 8 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...
139
click to vote
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
—We consider a scenario in which users share an access point and are mainly interested in VoIP applications. Each user is allowed to adapt to varying network conditions by choosi...
122
click to vote
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Virtual Private Networks (VPN) provide a secure and reliable communication between customer sites over a shared network. Two models were proposed for the service provisioning i...
149
click to vote
CAIP
2001
Springer
15 years 6 months ago
2001
Springer
In this paper, we propose a Markov random field (MRF) image segmentation model which aims at combining color and texture features. The theoretical framework relies on Bayesian est...
109
click to vote
COMPUTER
2002
15 years 1 months ago
2002
tail defines the level of abstraction used to implement the model's components. A highly detailed model will faithfully simulate all aspects of machine operation, whether or n...