Search Results - F.4.1 [Mathematical Logic]: Logic and Constraint Programming

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

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

    Published: IEEE 01.09.2014
    “… 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…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

    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

    ISSN: 1541-1672
    Published: IEEE 01.09.2017
    Published in IEEE intelligent systems (01.09.2017)
    “…Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling and resource allocation problems…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: