Sciweavers

7296 search results - page 1072 / 1460
» informs 2010
Sort
View
ICDCS
2010
IEEE
15 years 11 months ago
Visual, Log-Based Causal Tracing for Performance Debugging of MapReduce Systems
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...
Jiaqi Tan, Soila Kavulya, Rajeev Gandhi, Priya Nar...
ICLP
2010
Springer
15 years 11 months ago
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
Fabrizio Riguzzi, Terrance Swift
IEEESCC
2010
IEEE
15 years 11 months ago
Towards Green Business Process Management
—There is a global consensus on the need to reduce our collective carbon footprint. While much research attention has focused on developing alternative energy sources, automotive...
Konstantin Hoesch-Klohe, Aditya Ghose, Lam-Son Le
INCDM
2010
Springer
213views Data Mining» more  INCDM 2010»
15 years 11 months ago
Automated Vision-Based Diagnosis of Cassava Mosaic Disease
Abstract. Cassava Mosaic Disease (CMD) has been an increasing concern to all countries in sub-Saharan Africa that depend on cassava for both commercial and local consumption. Infor...
Jennifer R. Aduwo, Ernest Mwebaze, John A. Quinn
ITP
2010
114views Mathematics» more  ITP 2010»
15 years 11 months ago
A New Foundation for Nominal Isabelle
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
Brian Huffman, Christian Urban
« Prev « First page 1072 / 1460 Last » Next »