Amanote Research

Amanote Research

    RegisterSign In

Fine-Grained Semantics for Probabilistic Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-89884-1_6
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2018

Authors
Benjamin BichselTimon GehrMartin Vechev
Publisher

Springer International Publishing


Related search

Revisiting the Semantics of Interval Probabilistic Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

A Hybrid Agent-Based and Probabilistic Model for Fine-Grained Behavioural Energy Waste Simulation

2017English

Behavioral Profiles: A Fine-Grained and Quantitative Approach in Corpus-Based Lexical Semantics

The Mental Lexicon
LinguisticsLanguageCognitive Neuroscience
2010English

The Ζ-Semantics: A Comprehensive Semantics for Functional Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Evaluation of Mechanisms for Fine-Grained Parallel Programs in the J-Machine and the Cm-5

English

Fine-Grained Categorization for 3D Scene Understanding

2012English

Discovering Localized Attributes for Fine-Grained Recognition

2012English

Communication Optimizations for Fine-Grained UPC Applications

2005English

Fine-Grained Open Learner Models

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy