Sciweavers

17920 search results - page 381 / 3584
» Recentering 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....