Sciweavers

470 search results - page 60 / 94
» Indexing Circular Patterns
Sort
View
125
Voted
WWW
2005
ACM
16 years 4 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»
15 years 10 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
120
Voted
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 10 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
137
Voted
TABLEAUX
2009
Springer
15 years 10 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...
106
Voted
BMEI
2008
IEEE
15 years 9 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...