102
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
The Internet of Everything (IoE) solutions gradually bring every object online, and processing data in centralized cloud does not scale to requirements of such environment. This is...
94
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Abstract—As independent service providers shift from conventional energy to renewable energy sources, the power distribution system will likely experience increasingly significa...
98
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Abstract. We present guarded dependent type theory, gDTT, an extensional dependent type theory with a ‘later’ modality and clock quantifiers for programming and proving with g...
95
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Distant labeling for information extraction (IE) suffers from noisy training data. We describe a way of reducing the noise associated with distant IE by identifying coupling const...
112
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
To be considered for the 2016 IEEE Jack Keil Wolf ISIT Student Paper Award. Two variational formulas for the power of the binary hypothesis testing problem are derived. The first...