Sage Journals: Discover world-class research

Retricted access

Research article

First published 2007-2

On the role of modeling causal independence for system model compilation with OBDDs

Gianluca Torta, Pietro Torasso

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2003-3

Production Compilation: A Simple Mechanism to Model Complex Skill Acquisition

Niels A. Taatgen, Frank J. Lee

Human Factors: The Journal of the Human Factors and Ergonomics Society

Retricted access

Research article

First published 2014-12

An extension of the OpenModelica compiler for using Modelica models in a discrete event simulation

James Nutaro

SIMULATION

Retricted access

Research article

First published 2022

Compilation of cutting load spectrum for CNC lathe based on DBN-BP prediction model

Guofa Li

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2019-1

A multi-target compiler for CML-DEVS

Maximiliano Cristiá, Diego A. Hollmann, Claudia Frydman

SIMULATION

Retricted access

Research article

First published 2009-5

Parametric abstraction of behavioral modes for model-based diagnosis

Gianluca Torta

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2015-7

Proved generation of implementations from computationally secure protocol specifications 1

David Cadé, Bruno Blanchet

Journal of Computer Security

Retricted access

Research article

First published 2007-2

A compiled model for faults diagnosis based on different techniques

Rafael Ceballos, M. Teresa Gómez-López, Rafael M. Gasca [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2002-2

Processing Indefinite Deductive Databases under the Possible Model Semantics

C.A. Johnson

Fundamenta Informaticae

Retricted access

Research article

First published 1999-10

Processing Deductive Databases under the Disjunctive Stable Model Semantics

C.A. Johnson

Fundamenta Informaticae

Search results