Suchergebnisse - "integer linear programming ACM Reference Format"

  • Treffer 1 - 6 von 6
Treffer weiter einschränken
  1. 1

    Efficient Reasoning about Data Trees via Integer Linear Programming

    Autoren: Claire David Leonid Libkin TONY TAN et al.

    Weitere Verfasser: Claire David Leonid Libkin TONY TAN et al.

    Quelle: http://homepages.inf.ed.ac.uk/libkin/papers/edt-tods.pdf.

    Schlagwörter: Categories and Subject Descriptors, F.1.1 [Computation by Abstract Devices, Models of Computation—Automata, F.4.1 [Mathematical logic and formal languages, Mathematical logic, G.1.6 [Numerical Analysis, Optimization—Integer programming, H.2.1 [Database Management, Logical Design—Data Models General Terms, Algorithms, Theory Additional Key Words and Phrases, XML, tree languages, data values, Presburger arithmetic, reasoning, integer linear programming ACM Reference Format

    Dateibeschreibung: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.2607

    Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.2607
    http://homepages.inf.ed.ac.uk/libkin/papers/edt-tods.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Zu den Favoriten
  2. 2

    MatBuilder: mastering sampling uniformity over projections.

    Autoren: Paulin, Loïs Bonneel, Nicolas Coeurjolly, David et al.

    Quelle: ACM Transactions on Graphics; Aug2022, Vol. 41 Issue 4, p1-13, 13p

    Schlagwörter: UNIFORMITY, COMPUTER graphics, LINEAR programming

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  3. 3

    Generalized adaptive refinement for grid-based hexahedral meshing.

    Autoren: Pitzalis, Luca Livesu, Marco Cherchi, Gianmarco et al.

    Quelle: ACM Transactions on Graphics; Dec2021, Vol. 40 Issue 6, p1-13, 13p

    Schlagwörter: CONSTRAINT programming, INTEGER programming, LINEAR programming, FIREPLACES

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  4. 4

    Security-Aware Scheduling of Embedded Control Tasks.

    Autoren: LESI, VUK JOVANOV, ILIJA PAJIC, MIROSLAV

    Quelle: ACM Transactions on Embedded Computing Systems; 2017 Special Issue, Vol. 16 Issue 5s, p1-21, 21p

    Schlagwörter: EMBEDDED computer systems, COMPUTER systems, CYBER physical systems, MIXED integer linear programming, RESOURCE allocation

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  5. 5

    A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories.

    Autoren: NOWATZKI, TONY SARTIN-TARM, MICHAEL DE CARLI, LORENZO et al.

    Quelle: ACM Transactions on Programming Languages & Systems; Nov2014, Vol. 37 Issue 1, p2:1-2:30, 30p

    Schlagwörter: LINEAR programming, INTEGER programming, CONSTRAINT algorithms, MATHEMATICAL optimization, SATISFIABILITY (Computer science), ENERGY consumption

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten
  6. 6

    Efficient Reasoning about Data Trees via Integer Linear Programming.

    Autoren: David, Claire Libkin, Leonid Tan, Tony

    Quelle: ACM Transactions on Database Systems; Aug2012, Vol. 37 Issue 3, p19:1-28, 28p, 4 Charts

    Schlagwörter: DATA integration, LINEAR programming, XML (Extensible Markup Language), COMPUTER programming, MACHINE theory

    Full Text Finder Nájsť tento článok vo Web of Science
    Zu den Favoriten

Suchwerkzeuge: