Computer Science

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2007

    Fast evaluation of union-intersection expressions

    Bille, P., Pagh, A. & Pagh, R., 2007, Proceedings of the 18th International Symposium on Algorithms And Computation (ISAAC~'07). Lecture Notes in Computer Science: Springer, Bind 4835. s. 739-750 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

  • Learning Non-Deterministic Multi-Agent Planning Domains

    Jensen, R. M., 2007, Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07) Workshop on Artificial Intelligence Planning and Learning.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil
  • 2006

    Memory-Efficient Symbolic Heuristic Search

    Jensen, R. M., Hansen, E. A., Richards, S. & Zhou, R., 2006, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS-06). AAAI Press, s. 304-313 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2005

    ASET: a Multi-Agent Planning Language with Nondeterministic Durative Tasks for BDD-Based Fault Tolerant Planning

    Jensen, R. M. & Veloso, M. M., 2005, ICAPS 05 WS4: Workshop on Multiagent Planning and Scheduling. Clement, B. (red.). s. 58-66 9 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2004

    CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration

    Jensen, R. M., 2004, Principles and Practice of Constraint Programming - CP 2004: 10th International Conference, CP 2004. Springer, s. 816 1 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Comparing two implementations of a Complete and Backtrack-free Interactive Configurator

    Subbarayan, S., Jensen, R. M., Hadzic, T., Andersen, H. R., Hulgaard, H. & Møller, J., 2004, Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP-04) Workshop on CSP Techniques with Immediate Application. s. 97-111 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Fast Backtrack-Free Product Configuration using a Precompiled Solution Space Representation

    Hadzic, T., Subbarayan, S., Jensen, R. M., Andersen, H. R., Møller, J. & Hulgaard, H., 2004, Proceedings from the International Conference on Economic, Technical and Organisational aspects of Product Configuration Systems. Technical University of Denmark (DTU), s. 133-140 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning

    Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2004, Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04). AAAI Press, s. 335-344 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2003

    Guided Symbolic Universal Planning

    Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2003, Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-03). AAAI Press, s. 123-132 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Synthesis of Fault Tolerant Plans for Non-Deterministic Domains

    Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2003, Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-03) Workshop on Planning under Uncertainty and Incomplete Information. AAAI Press, Bind https://icaps03.icaps-conference.org/satellite_events/workshops/workshops_2.htm. s. 64-73 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • UMOP 1.2 Software Demonstration

    Jensen, R. M. & Veloso, M. M., 2003, Printed Notes of ICAPS-03 System Demos. AAAI Press

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
  • 2002

    An Efficient BDD-based A* Algorithm

    Jensen, R. M., 2002, Proceedings of the International Conference on Artificial Intelligence Planning Systems (AIPS-02) Workshop on Planning via Model Checking. AAAI Press, s. 72-80 9 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil