1199 search results - page 166 / 240 » Automated Extraction of Problem Structure |
ICDCS
2010
IEEE
14 years 2 months ago
2010
IEEE
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...
KDD
2010
ACM
14 years 2 months ago
2010
ACM
The process of extracting useful knowledge from large datasets has become one of the most pressing problems in today’s society. The problem spans entire sectors, from scientists...
CIMAGING
2009
13 years 11 months ago
2009
We present a new method for multi-object segmentation in a maximum a posteriori estimation framework. Our method is motivated by the observation that neighboring or coupling objec...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex...
AAAI
2010
13 years 10 months ago
2010
The goal of testing is to discriminate between multiple hypotheses about a system--for example, different fault diagnoses--by applying input patterns and verifying or falsifying t...