Sciweavers

11065 search results - page 364 / 2213
» Education
Sort
View
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 7 months ago
Automated Termination Proofs for Logic Programs by Term Rewriting
Peter Schneider-Kamp, Jürgen Giesl, Alexander...
CORR
2008
Springer
49views Education» more  CORR 2008»
15 years 7 months ago
Evaluation and exploitation of knowledge robustness in knowledge-based systems
Mathieu Barcikowski, Philippe Pernelle, Arnaud Lef...
CORR
2010
Springer
48views Education» more  CORR 2010»
15 years 7 months ago
Testing Closeness of Discrete Distributions
Tugkan Batu, Lance Fortnow, Ronitt Rubinfeld, Warr...
CORR
2008
Springer
76views Education» more  CORR 2008»
15 years 7 months ago
Fast unfolding of community hierarchies in large networks
Vincent D. Blondel, Jean-Loup Guillaume, Renaud La...
CORR
2010
Springer
67views Education» more  CORR 2010»
15 years 7 months ago
Learning Latent Tree Graphical Models
Myung Jin Choi, Vincent Y. F. Tan, Animashree Anan...