Sciweavers

10392 search results - page 359 / 2079
» Introduction to Computer Science
Sort
View
TCS
2011
15 years 1 months ago
Musings around the geometry of interaction, and coherence
We introduce the Danos-Régnier category
Jean Goubault-Larrecq
TCS
2010
15 years 1 months ago
A compact fixpoint semantics for term rewriting systems
María Alpuente, Marco Comini, Santiago Esco...
DATAMINE
2011
15 years 1 months ago
Community discovery using nonnegative matrix factorization
Fei Wang, Tao Li, Xin Wang, Shenghuo Zhu, Chris H....