Sciweavers

2314 search results - page 111 / 463
» Monoids over domains
Sort
View
134
Voted
TKDE
2012
229views Formal Methods» more  TKDE 2012»
13 years 4 months ago
Effective Pattern Discovery for Text Mining
—Many data mining techniques have been proposed for mining useful patterns in text documents. However, how to effectively use and update discovered patterns is still an open rese...
Ning Zhong, Yuefeng Li, Sheng-Tang Wu
SDM
2012
SIAM
307views Data Mining» more  SDM 2012»
13 years 4 months ago
Pseudo Cold Start Link Prediction with Multiple Sources in Social Networks
Link prediction is an important task in social networks and data mining for understanding the mechanisms by which the social networks form and evolve. In most link prediction rese...
Liang Ge, Aidong Zhang
ICCV
2001
IEEE
16 years 3 months ago
Continuous Global Evidence-Based Bayesian Modality Fusion for Simultaneous Tracking of Multiple Objects
Robust, real-time tracking of objects from visual data requires probabilistic fusion of multiple visual cues. Previous approaches have either been ad hoc or relied on a Bayesian n...
Jamie Sherrah, Shaogang Gong
ICML
2007
IEEE
16 years 2 months ago
Large-scale RLSC learning without agony
The advances in kernel-based learning necessitate the study on solving a large-scale non-sparse positive definite linear system. To provide a deterministic approach, recent resear...
Wenye Li, Kin-Hong Lee, Kwong-Sak Leung
199
Voted
CP
2009
Springer
16 years 2 months ago
From Model-Checking to Temporal Logic Constraint Solving
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
Aurélien Rizk, François Fages