AUSAI
2015
Springer
8 years 9 months ago
2015
Springer
Probabilistic Doxastic Temporal (PDT) Logic is a formalism to represent and reason about belief evolutions in multi–agent systems. In this work we develop a theory of abduction f...
AUSAI
2015
Springer
8 years 9 months ago
2015
Springer
Abstract. The algorithm selection problem asks to select the best algorithm for a given problem. In the companion paper Everitt and Hutter (2015b), expected BFS and DFS tree search...
AUSAI
2015
Springer
8 years 9 months ago
2015
Springer
Trust in the correctness of an election outcome requires proof of the correctness of vote counting. By formulating particular voting protocols as rules, correctness amounts to dem...
AUSAI
2015
Springer
8 years 9 months ago
2015
Springer
Answer presentation is a subtask in Question Answering that investigates the ways of presenting an acquired answer to the user in a format that is close to a human generated answer...
AUSAI
2015
Springer
8 years 9 months ago
2015
Springer
Abstract. BFS and DFS are the two most fundamental search algorithms. We derive approximations of their expected runtimes in complete trees, as a function of tree depth and probabi...
PPPJ
2015
ACM
8 years 9 months ago
2015
ACM
GPUs (Graphics Processing Unit) and other accelerators are nowadays commonly found in desktop machines, mobile devices and even data centres. While these highly parallel processor...
PPPJ
2015
ACM
8 years 9 months ago
2015
ACM
Test cases constitute around 30% of the codebase of a number of large software systems. Poor design of test suites hinders test comprehension and maintenance. Developers often cop...
PPPJ
2015
ACM
8 years 9 months ago
2015
ACM
Generics on the Java platform are compiled using the erasure transformation, which only supports by-reference values. This causes slowdowns when generics operate on primitive type...
PPOPP
2015
ACM
8 years 9 months ago
2015
ACM
Although logically available, applications may not exploit enough instantaneous communication concurrency to maximize hardware utilization on HPC systems. This is exacerbated in h...
PPOPP
2015
ACM
8 years 9 months ago
2015
ACM
Discrete GPUs in modern multi-GPU systems can transparently access each other’s memories through the PCIe interconnect. Future systems will improve this capability by including ...