Search Results - "logic and constraint programming"

Automated Generation of Consistent Graph Models With Multiplicity Reasoning by Marussy, Kristof, Semerath, Oszkar, Varro, Daniel

“…Advanced tools used in model-based systems engineering (MBSE) frequently represent their models as graphs. In order to test those tools, the automated…”
Get full text

VeriFly: On-the-fly Assertion Checking via Incrementality by SANCHEZ-ORDAZ, MIGUEL A., GARCIA-CONTRERAS, ISABEL, PEREZ, VICTOR, MORALES, JOSÉ F., LOPEZ-GARCIA, PEDRO, HERMENEGILDO, MANUEL V.

“…Assertion checking is an invaluable programmer’s tool for finding many classes of errors or verifying their absence in dynamic languages such as Prolog. For…”
Get full text

Incremental and Modular Context-sensitive Analysis by GARCIA-CONTRERAS, ISABEL, MORALES, JOSÉ F., HERMENEGILDO, MANUEL V.

“…Context-sensitive global analysis of large code bases can be expensive, which can make its use impractical during software development. However, there are many…”
Get full text

FLARE: Fast layout for augmented reality applications by Gal, Ran, Shapira, Lior, Ofek, Eyal, Kohli, Pushmeet

“…Creating a layout for an augmented reality (AR) application which embeds virtual objects in a physical environment is difficult as it must adapt to any…”
Get full text

The Inductive Constraint Programming Loop by BESSIERE, Christian, de Raedt, Luc, Guns, Tias, Kotthoff, Lars, Nanni, Mirco, Nijssen, Siegfried, O'Sullivan, Barry, Paparrizou, Anastasia, Pedreschi, Dino, Simonis, Helmut

“…Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling and resource allocation problems. At the same…”
Get full text