CORR
2016
Springer
8 years 8 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...
CORR
2016
Springer
8 years 8 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...
CORR
2016
Springer
8 years 8 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...
CORR
2016
Springer
8 years 8 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...
CORR
2016
Springer
8 years 8 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...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
at every layer. They turn out to be good abstractions of the intricate connectivity of multimodal transportation networks, among other types of complex systems. One of the most imp...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
CORR
2016
Springer
8 years 8 months ago
2016
Springer
Population protocols [AAD+ 06] are a popular model of distributed computing, in which randomlyinteracting agents with little computational power cooperate to jointly perform compu...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
With the sharp rise in software dependability and failure cost, high quality has been in great demand. However, guaranteeing high quality in software systems which have grown in s...
CORR
2016
Springer
8 years 8 months ago
2016
Springer
Off-policy reinforcement learning has many applications including: learning from demonstration, learning multiple goal seeking policies in parallel, and representing predictive k...