5525 search results - page 998 / 1105 » Verification of Model Transformations |
95
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
81
Voted
ICDM
2003
IEEE
15 years 6 months ago
2003
IEEE
In the literature of data mining, many different algorithms for association rule mining have been proposed. However, there is relatively little study on how association rules can ...
87
Voted
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— This paper describes Atlas, a hybrid metrical/topological approach to SLAM that achieves efficient mapping of large-scale environments. The representation is a graph o...
217
Voted
IEEEPACT
2003
IEEE
15 years 6 months ago
2003
IEEE
Computers have changed the way we live, work, and even recreate. Now, they are transforming how we think about and treat human disease. In particular, advanced techniques in biome...
93
Voted
INFOVIS
2003
IEEE
15 years 6 months ago
2003
IEEE
In this paper, we focus on some of the key design decisions we faced during the process of architecting a visualization system and present some possible choices, with their associ...