Sciweavers

137 search results - page 26 / 28
» Leakage power modeling and reduction with data retention
Sort
View
103
Voted
LMCS
2007
132views more  LMCS 2007»
15 years 1 months ago
The Complexity of Model Checking Higher-Order Fixpoint Logic
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
Roland Axelsson, Martin Lange, Rafal Somla
138
Voted
CIKM
2010
Springer
15 years 14 days ago
Decomposing background topics from keywords by principal component pursuit
Low-dimensional topic models have been proven very useful for modeling a large corpus of documents that share a relatively small number of topics. Dimensionality reduction tools s...
Kerui Min, Zhengdong Zhang, John Wright, Yi Ma
EOR
2007
165views more  EOR 2007»
15 years 1 months ago
Adaptive credit scoring with kernel learning methods
Credit scoring is a method of modelling potential risk of credit applications. Traditionally, logistic regression, linear regression and discriminant analysis are the most popular...
Yingxu Yang
105
Voted
JMLR
2010
108views more  JMLR 2010»
15 years 10 days ago
Second-Order Bilinear Discriminant Analysis
Traditional analysis methods for single-trial classification of electro-encephalography (EEG) focus on two types of paradigms: phase-locked methods, in which the amplitude of the...
Christoforos Christoforou, Robert M. Haralick, Pau...
94
Voted
AUSAI
2007
Springer
15 years 8 months ago
Merging Algorithm to Reduce Dimensionality in Application to Web-Mining
Dimensional reduction may be effective in order to compress data without loss of essential information. Also, it may be useful in order to smooth data and reduce random noise. The...
Vladimir Nikulin, Geoffrey J. McLachlan