Sciweavers

AUSAI
2015
Springer
8 years 6 months ago
Modeling Ice Storm Climatology
Extreme weather events such as ice storms cause significant damage to life and property. Accurately forecasting ice storms sufficiently in advance to offset their impacts is very...
Ranjini Swaminathan, Mohan Sridharan, Gillian Dobb...
AUSAI
2015
Springer
8 years 6 months ago
Abduction in PDT Logic
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...
Karsten Martiny, Ralf Möller
AUSAI
2015
Springer
8 years 6 months ago
Analytical Results on the BFS vs. DFS Algorithm Selection Problem: Part II: Graph Search
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...
Tom Everitt, Marcus Hutter
AUSAI
2015
Springer
8 years 6 months ago
Vote Counting as Mathematical Proof
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...
Dirk Pattinson, Carsten Schürmann
AUSAI
2015
Springer
8 years 6 months ago
Answer Presentation with Contextual Information: A Case Study Using Syntactic and Semantic Models
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...
Rivindu Perera, Parma Nand
AUSAI
2015
Springer
8 years 6 months ago
Analytical Results on the BFS vs. DFS Algorithm Selection Problem. Part I: Tree Search
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...
Tom Everitt, Marcus Hutter