Sciweavers

87 search results - page 18 / 18
» Automatic Generation of Object Usage Specifications from Lar...
Sort
View
CIKM
2006
Springer
13 years 7 months ago
Efficiently clustering transactional data with weighted coverage density
In this paper, we propose a fast, memory-efficient, and scalable clustering algorithm for analyzing transactional data. Our approach has three unique features. First, we use the c...
Hua Yan, Keke Chen, Ling Liu
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
13 years 12 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer