Sciweavers

470 search results - page 60 / 94
» Indexing Circular Patterns
Sort
View
WWW
2005
ACM
14 years 9 months ago
XAR-miner: efficient association rules mining for XML data
In this paper, we propose a framework, called XAR-Miner, for mining ARs from XML documents efficiently. In XAR-Miner, raw data in the XML document are first preprocessed to transf...
Sheng Zhang, Ji Zhang, Han Liu, Wei Wang
HICSS
2010
IEEE
166views Biometrics» more  HICSS 2010»
14 years 3 months ago
Spatial Variation in Search Engine Results
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
David Noack
FM
2009
Springer
104views Formal Methods» more  FM 2009»
14 years 3 months ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene
TABLEAUX
2009
Springer
14 years 3 months ago
A Schemata Calculus for Propositional Logic
We define a notion of formula schema handling arithmetic parameters, indexed propositional variables (e.g. Pi) and iterated conjunctions/disjunctions (e.g. Vn i=1 Pi, where n is a...
Vincent Aravantinos, Ricardo Caferra, Nicolas Pelt...
BMEI
2008
IEEE
14 years 3 months ago
Discovering Multi-dimensional Major Medicines from Traditional Chinese Medicine Prescriptions
Multi-dimensional major medicines analysis is one of the most important tasks in the data analysis of Traditional Chinese Medicine (TCM) prescriptions. In this paper, an effective...
Chuan Li, Changjie Tang, Chunqiu Zeng, Jiang Wu, Y...