118
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
121
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
We can better understand deep neural networks by identifying which features each of their neurons have learned to detect. To do so, researchers have created Deep Visualization tec...
110
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Generative reconstruction methods compute the 3D configuration (such as pose and/or geometry) of a shape by optimizing the overlap of the projected 3D shape model with images. Pr...
110
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively...
114
Voted
CORR
2016
Springer
10 years 1 months ago
2016
Springer
Students in online courses generate large amounts of data that can be used to personalize the learning process and improve quality of education. In this paper, we present the Late...