A New General Method to Generate Random Modal Formulae for Testing Decision Procedures

Journal of Artificial Intelligence Research - United States
doi 10.1613/jair.1166
Full Text
Abstract

Available in full text

Date
Authors
Publisher

AI Access Foundation

Related search

Few Points to Generate a Random Polytope

Mathematika
Mathematics
1997English

New Method to Generate Balanced 2n-PSK STTCs

2011English

A Structural Damage Quantification Method for HFR-Video-Based Modal Testing

Journal of System Design and Dynamics
2011English

A BASIC Subroutine to Generate Random Latin Squares

Behavior Research Methods
DevelopmentalArtsPsychologyEducational PsychologyCognitive PsychologyHumanitiesExperimental
1976English

Sound Transmission Loss Estimation Method by Modal Testing

TRANSACTIONS OF THE JAPAN SOCIETY OF MECHANICAL ENGINEERS Series C
2011English

A New Method to Generate a High-Resolution Global Distribution Map of Lake Chlorophyll

International Journal of Remote Sensing
EarthPlanetary Sciences
2015English

New Meridian Arc Formulae by the Least Squares Method

Journal of Navigation
Ocean EngineeringOceanography
2014English

Numerical Procedures for Random Differential Equations

Journal of Applied Mathematics
Applied Mathematics
2018English

Approximated Adjusted Fractional Bayes Factors: A General Method for Testing Informative Hypotheses

British Journal of Mathematical and Statistical Psychology
ArtsStatisticsPsychologyProbabilityHumanitiesMedicine
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy