Sciweavers

TOCL
2012
233views Formal Methods» more  TOCL 2012»
13 years 6 months ago
On the Expressive Power of Multiple Heads in CHR
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiar...
TOCL
2012
202views Formal Methods» more  TOCL 2012»
13 years 6 months ago
Reachability Problems in Piecewise FIFO Systems
Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...
TOCL
2012
241views Formal Methods» more  TOCL 2012»
13 years 6 months ago
Model Checking of Recursive Probabilistic Systems
Kousha Etessami, Mihalis Yannakakis
TKDE
2012
270views Formal Methods» more  TKDE 2012»
13 years 6 months ago
Low-Rank Kernel Matrix Factorization for Large-Scale Evolutionary Clustering
—Traditional clustering techniques are inapplicable to problems where the relationships between data points evolve over time. Not only is it important for the clustering algorith...
Lijun Wang, Manjeet Rege, Ming Dong, Yongsheng Din...
TKDE
2012
245views Formal Methods» more  TKDE 2012»
13 years 6 months ago
Semi-Supervised Maximum Margin Clustering with Pairwise Constraints
—The pairwise constraints specifying whether a pair of samples should be grouped together or not have been successfully incorporated into the conventional clustering methods such...
Hong Zeng, Yiu-ming Cheung
TKDE
2012
208views Formal Methods» more  TKDE 2012»
13 years 6 months ago
A Knowledge-Driven Approach to Activity Recognition in Smart Homes
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
Liming Chen, Chris D. Nugent, Hui Wang
TKDE
2012
226views Formal Methods» more  TKDE 2012»
13 years 6 months ago
DDD: A New Ensemble Approach for Dealing with Concept Drift
—Online learning algorithms often have to operate in the presence of concept drifts. A recent study revealed that different diversity levels in an ensemble of learning machines a...
Leandro L. Minku, Xin Yao
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 6 months ago
Horizontal Aggregations in SQL to Prepare Data Sets for Data Mining Analysis
—Preparing a data set for analysis is generally the most time consuming task in a data mining project, requiring many complex SQL queries, joining tables and aggregating columns....
Carlos Ordonez, Zhibo Chen 0002
TKDE
2012
253views Formal Methods» more  TKDE 2012»
13 years 6 months ago
Adding Temporal Constraints to XML Schema
—If past versions of XML documents are retained, what of the various integrity constraints defined in XML Schema on those documents? This paper describes how to interpret such c...
Faiz Currim, Sabah Currim, Curtis E. Dyreson, Rich...
TKDE
2012
278views Formal Methods» more  TKDE 2012»
13 years 6 months ago
Data Cube Materialization and Mining over MapReduce
—Computing interesting measures for data cubes and subsequent mining of interesting cube groups over massive datasets are critical for many important analyses done in the real wo...
Arnab Nandi, Cong Yu, Philip Bohannon, Raghu Ramak...