Sciweavers

1608 search results - page 157 / 322
» Modeling Medical E-services
Sort
View
EUROMICRO
2000
IEEE
15 years 8 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ICPR
2010
IEEE
15 years 6 months ago
A Semi-Supervised Gaussian Mixture Model for Image Segmentation
In this paper, the results of a semi-supervised approach based on the Expectation-Maximisation algorithm for model-based clustering are presented. We show in this work that, if th...
Adolfo Martínez-Usó, F. Pla, Jose Martínez Soto...
COMPSYSTECH
2009
15 years 1 months ago
Architectural models for realization of web-based personal health systems
: Recent advances in Information and Communication Technologies (ICT) and more specifically in wireless networks and mobile computing have driven new directions in the development ...
Mitko Shopov, Grisha Spasov, Galidia Petrova
HICSS
1999
IEEE
72views Biometrics» more  HICSS 1999»
15 years 8 months ago
Creation of Professional Networks: An Emergent Model using Telemedicine as a Case
Information technologies enhance efficiency oriented organizational networks and enable creation of expertise oriented professional networks. However, whether IT-enabled efficienc...
H. Õseyin Tanriverdi, N. Venkatraman
ESM
1998
15 years 5 months ago
Modelling of the Human Arterial Network for Preoperative Predictions
The aim of this project was the development of a user-friendly software package for physicians that can be used as an advisor in vessel surgery and as a training tool for medical ...
Christian Almeder, Felix Breitenecker, Siegfried W...