Volume E95.D; Issue 8

4

A Session Type System with Subject Reduction

Year:
2012
Language:
english
File:
PDF, 258 KB
english, 2012
8

A New First-Scan Method for Two-Scan Labeling Algorithms

Year:
2012
Language:
english
File:
PDF, 291 KB
english, 2012
11

Sparsely Encoded Hopfield Model with Unit Replacement

Year:
2012
Language:
english
File:
PDF, 864 KB
english, 2012