Billede af Rune Møller Jensen
1997 …2024

Publikationer pr. år

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2024

    An Efficient Integer Programming Model for Solving the Master Planning Problem of Container Vessel Stowage

    van Twiller, J., Sivertsen, A., Jensen, R. M., Andersen, K. H., Garrido, A. (Redaktør), Paternina, C. (Redaktør) & Voß, S. (Redaktør), aug. 2024, Computational Logistics. Springer, Bind 15168. s. 236-253 17 s. (Lecture Notes in Computer Science, Bind 15168).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2023

    Towards a Deep Reinforcement Learning Model of Master Bay Stowage Planning

    van Twiller, J., Grbic, D. & Jensen, R. M., 7 sep. 2023, ICCL 2023: Computational Logistics. Daduna, J. R., Liedtke, G., Shi, X. & Voß, S. (red.). Berlin: Springer, Bind 14239. s. 105-121 17 s. 6. (Lecture Notes in Computer Science, Bind 14239).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2022

    A Linear Time Algorithm for Optimal Quay Crane Scheduling

    Herup, M. O., Thiesgaard, G. C. W., van Twiller, J. & Jensen, R. M., 14 sep. 2022, International Conference on Computational Logistics: Lecture Notes in Computer Science. Springer, Bind 13557. s. 60–73 13 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2021

    Destination Prediction of Oil Tankers Using Graph Abstractions and Recurrent Neural Networks

    Magnussen, B. B., Bläser, N., Jensen, R. M. & Ylänen, K., 27 sep. 2021, Computational Logistics: 12th International Conference, ICCL 2021 Enschede, The Netherlands, September 27–29, 2021 Proceedings. Springer, Bind 13004. s. 51-65 15 s. (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2019

    A Decision Support Tool for Energy-Optimising Railway Timetables Based on Behavioural Data

    Madsen, M. B., Als, M. V. H., Jensen, R. M. & Edinger Gram, S., 30 sep. 2019, Proceedings of the 10th International Conference on Computational Logistics (ICCL19). Springer, s. 397-412 16 s. (Lecture Notes in Computer Science, Bind 11756).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • A Decomposed Fourier-Motzkin Elimination Framework to Derive Vessel Capacity Models

    Ajspur, M. L., Jensen, R. M. & Andersen, K. H., 30 sep. 2019, Proceedings of the 10th International Conference on Computational Logistics (ICCL19). Springer, s. 85-100 16 s. (Lecture Notes in Computer Science, Bind 11756).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2018

    The Standard Capacity Model: Towards a polyhedron representation of container vessel capacity

    Jensen, R. M. & Ajspur, M. L., 2018, Computational Logistics: 9th International conference, ICCL 2018. Cerulli, R., Raiconi, A. & Voss, S. (red.). Springer, s. 175-190 (Lecture Notes in Computer Science, Bind 11184).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2013

    A Placement Heuristic for a Commercial Decision Support System for Container Vessel Stowage

    Delgado-Ortegon, A., Jensen, R. M. & Guilbert, N., 4 feb. 2013, Informatica (CLEI), 2012 XXXVIII Conferencia Latinoamericana En. IEEE Computer Society Press, s. 1-9 9 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2012

    Automated Planning for Liner Shipping Fleet Repositioning.

    Tierney, K., Jensen, R. M., Kroer, C., Britt, A., Coles, A. & Coles, A., 2012, ICAPS 2012, the 22nd International Conference on Automated Planning and Scheduling . AAAI Press, s. 279-287 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Constraint-based local search for container stowage slot planning

    Pacino, D., Jensen, R. M. & Bebbington, T., 2012, IMECS 2012: Proceedings of the International MultiConference of Engineers and Computer Scientists. IAENG, Bind 1. 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2011

    Fast Generation of Near-Optimal Plans for Eco-Efficient Stowage of Large Container Vessels

    Pacino, D., Jensen, R. M., Delgado-Ortegon, A. & Bebbington, T., 19 sep. 2011, ICCL (2011). Proceedings of the International Conference on Computer Languages. Springer, s. 286-301 15 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • Phase Recognition during Surgical Procedures using Embedded and Body-worn Sensors

    Bardram, J. E., Doryab, A., Jensen, R. M., Lange, P., Torp, S. & Nielsen, K., 2011, Pervasive Computing and Communications (PerCom), 2011. Proceedings of. IEEE Press

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2009

    Combining Binary Decision Diagrams and Backtracking Search for Scalable Backtrack-Free Interactive Product Configuration

    Nørgaard, A. H., Boysen, M. R., Jensen, R. M. & Tiedemann, P., 2009, Proceedings of the 21st International Joint Conferences on Artificial Intelligence (IJCAI-09) Workshop on Configuration. AAAI Press

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Fil
  • 2007

    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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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, s. 133-140 8 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer 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 kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2002

    A formalization of equilibria for multiagent planning

    Bowling, M. H., Jensen, R. M. & Veloso, M. M., 2002, Eighteenth National Conference on Artificial Intelligence (AAAI-02) Workshop on Planning with and for Multiagent Systems. https://aaai.org/Press/Reports/Workshops/ws-02-12.php udg. AAAI Press

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 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 kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • SetA*: An efficient BDD-Based Heuristic Search Algorithm

    Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2002, Proceedings of Eighteenth National Conference on Artificial Intelligence (AAAI'02). AAAI Press, s. 668-673 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 2001

    OBDD-Based Optimistic and Strong Cyclic Adversarial Planning

    Jensen, R. M., Veloso, M. M. & Bowling, M. H., 2001, Proceedings of the Sixth European Conference on Planning (ECP-01). AAAI Press, s. 265-276 14 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

  • 2000

    OBDD-based Deterministic Planning using the UMOP Planning Framework

    Jensen, R. M., 2000, Proceedings of AIPS-00 Workshop on Model-Theoretic Approaches to Planning. 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • OBDD-based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains,

    Jensen, R. M. & Veloso, M. M., 2000, Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems (AIPS-00). AAAI Press, s. 167-176 10 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
  • 1998

    Specification and Verification of Complex Robotics Tasks

    Jensen, R. M., 1998, Proceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems. s. 79-90 13 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitelKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil