Container (type theory)

  1. SmartUI: Human-in-the-Loop Editable Interface Generation through Semantic Structures
    SmartUI enables human-in-the-loop UI generation through Figma integration, using structured semantic representations for editable, iterative design with 0.93 structure consistency.
  2. A path planning heuristic for automated guided vehicles in container terminals
    Integer Linear Programming heuristic for collision-free path planning of Automated Guided Vehicles in container terminals executing multiple transportation missions.