Sage Journals: Discover world-class research

Retricted access

Research article

First published 2009-7

Building Efficient Model Checkers using Hierarchical Set Decision Diagrams and Automatic Saturation

Alexandre Hamez, Yann Thierry-Mieg, Fabrice Kordon

Fundamenta Informaticae

Retricted access

Research article

First published 2016-1

On the effective visualisation of dynamic attribute cascades

Daniel Archambault, Helen C. Purchase

Information Visualization

Retricted access

Review article

First published 2010-9

Training Novices on Hierarchical Task Analysis

Sarah K. Felipe, Anne E. Adams, Wendy A. Rogers [...]

Proceedings of the Human Factors and Ergonomics Society Annual Meeting

Retricted access

Research article

First published 2025-03-17

VIKOR optimization decision model based on poset

Lizhu Yue, Yue Lv

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2025-10

Tackling the Issue of Limited Dialogue and Strengthening Collaboration Among Court Actors for Improving the Condition-Setting Process

Loveline C. Phillips, Benjamin J. Mackey, Faye S. Taxman

Criminal Justice and Behavior

Retricted access

Research article

First published 2009-03

A Modular Decision-centric Approach for Reusable Design Processes

Jitesh H. Panchal, Marco Gero Fernández, Christiaan J. J. Paredis [...]

Concurrent Engineering

Retricted access

Research article

First published 2024-12

Human-robot collaborative assembly task planning for mobile cobots based on deep reinforcement learning

Wenbin Hou, Zhihua Xiong, Ming Yue [...]

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Retricted access

Research article

First published 2024-8

Adaptive Discretization using Voronoi Trees for Continuous POMDPs

Marcus Hoerger, Hanna Kurniawati, Dirk Kroese [...]

The International Journal of Robotics Research

Search results