Suchergebnisse - f.4.1 (mathematical OR mathematik) logic: logic and constraint programming

The Inductive Constraint Programming Loop von 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 …”
Volltext

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

“… We propose a rule-based framework for generating object layouts for AR applications. Under our framework, the developer of an AR application specifies a set of rules (constraints …”
Volltext