The last few years have seen a surge in interest in the use of techniques from Bayesian
decision theory to address problems in AI. Decision theory provides a normative framework …

In many applications, mobile robots must be able to localize themselves with respect to
environments which are not known a priori in order to navigate and accomplish tasks. This …

Program synthesis is the systematic, automatic construction of efficient executable code from
high-level declarative specifications. AutoBayes is a fully automatic program synthesis …

Um gerador de artefatos é um software que produz um artefato a partir de sua especificação
de alto nível. Um artefato é qualquer item criado como parte da definição, manutenção ou …

The thesis, written in English, has as title:“The Fork Calculus—Towards a Logic for
Concurrent ML”. The Fork Calculus, FC, presents a theory for dynamic process creation …

The Research Institute for Advanced Computer Science (RIACS) carries out basic research
and technology development in computer science, in support of the National Aeronautics …

The Research Institute for Advanced Computer Science (RIACS) carries out basic research
and technology development in computer science, in support of the National Aeronautics …