Sciweavers

2826 search results - page 343 / 566
» A resource-based analysis of IT sourcing
Sort
View
ICIAR
2004
Springer
16 years 2 days ago
Automatic Image Segmentation Using a Deformable Model Based on Charged Particles
Abstract. We present a method for automatic segmentation of grey-scale images, based on a recently introduced deformable model, the charged-particle model (CPM). The model is inspi...
Andrei Jalba, Michael H. F. Wilkinson, Jos B. T. M...
ISI
2004
Springer
16 years 1 days ago
West Nile Virus and Botulism Portal: A Case Study in Infectious Disease Informatics
Abstract. Information technologies and infectious disease informatics are playing an increasingly important role in preventing, detecting, and managing infectious disease outbreaks...
Daniel Dajun Zeng, Hsinchun Chen, Chunju Tseng, Ca...
KES
2004
Springer
16 years 1 days ago
Intelligent Web Site: Understanding the Visitor Behavior
Abstract. Intelligent web site is a new portal generation, able to improve its structure and content based on the analysis of the user behavior. This paper focuses on modeling the ...
Juan D. Velásquez, Pablo A. Estévez,...
VMCAI
2004
Springer
16 years 1 days ago
Automatic Inference of Class Invariants
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
Francesco Logozzo
ATS
2003
IEEE
87views Hardware» more  ATS 2003»
15 years 12 months ago
March SL: A Test For All Static Linked Memory Faults
The analysis of linked faults has proven to be a source for new memory tests, characterized by an increased fault coverage. The paper gives a set of five new tests to target all ...
Said Hamdioui, Zaid Al-Ars, A. J. van de Goor, Mik...