561 search results - page 45 / 113 » Inferring better contracts |
IRI
2008
IEEE
14 years 2 months ago
2008
IEEE
There are many applications where multiple data sources, each with its own features, are integrated in order to perform an inference task in an optimal way. Researchers have shown...
PKDD
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Rating players in sports competitions based on game results is one example of paired comparison data analysis. Since an exact Bayesian treatment is intractable, several t...
ISRR
2005
Springer
14 years 1 months ago
2005
Springer
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying p...
OOPSLA
2005
Springer
14 years 1 months ago
2005
Springer
Instrumenting programs with code to monitor runtime behavior is a common technique for profiling and debugging. In practice, instrumentation is either inserted manually by progra...