Efficient Weighted Model Integration via SMT-Based Predicate Abstraction

doi 10.24963/ijcai.2017/100
Full Text
Abstract

Available in full text

Date
Authors
Publisher

International Joint Conferences on Artificial Intelligence Organization

Related search

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Refining Approximations in Software Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Efficient Bayesian Model Selection in PARAFAC via Stochastic Thermodynamic Integration

IEEE Signal Processing Letters
Electronic EngineeringApplied MathematicsElectricalSignal Processing
2018English

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

IEEE Transactions on Software Engineering
Software
2012English

A Hierarchical and Abstraction-Based Blockchain Model

Applied Sciences (Switzerland)
InstrumentationMaterials ScienceFluid FlowEngineeringComputer Science ApplicationsProcess ChemistryTransfer ProcessesTechnology
2019English

Slow Abstraction via Priority

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Neural Network-Based Model for Japanese Predicate Argument Structure Analysis

2016English

Model of Efficient and Scalable Integration System

Scientific Papers of Silesian University of Technology. Organization and Management Series
2017English

Improved BTG-based Preordering for SMT via Parallel Parameter Averaging: An Empirical Study

Journal of Natural Language Processing
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy