Compiling graphical models has recently been under intense investigation, especially for probabilistic modeling and processing. We present here a novel data structure for compiling weighted graphical models (in particular, probabilistic models), called AND/OR Multi-Valued Decision Diagram (AOMDD). This is a generalization of our previous work on constraint networks, to weighted models. The AOMD...

Compiling queries to machine code is a very efficient way for executing queries. One often overlooked problem with compilation is the time it takes to generate machine code. Even with fast compilation frameworks like LLVM, generating machine code for complex queries often takes hundreds of milliseconds. Such durations can be a major disadvantage for workloads that execute many complex, but quic...

Various techniques for the navigation and matching of data structures using path expressions have been the subject of extensive investigations. No matter whether such techniques are based on type information, indexing, automata, it is desirable to synthesize implementations automatically, starting from a high-level description of the path expressions to be traversed. In this paper we present a ...

Abstract. Radiolarians (holoplanktonic protozoa) preserved in marine sediments are commonly used as palaeoclimate proxies for reconstructing past Southern Ocean environments. Generating reconstructions of climate based on microfossil abundances, such radiolarians, requires a spatially and environmentally comprehensive reference dataset modern census counts. The Radiolarian (SO-RAD) includes cou...