IEEE

Modeling OCL Collection Types and Type Casting Using Constraint Programming

Abstract: In Model-Driven Engineering (MDE), the Unified Modeling Language (UML) is often combined with the Object Constraint Language (OCL) to express constraints on models. While these constraints ...
Scientific Research Publishing

Warmer, J. and Kleppe, A. (1999) The Object Constraint Language Precise Modeling with UML. Addison-Wesley, Boston.

ABSTRACT: Formal-Object Tool (FOTool) is a software modelling approach that integrates formal specification and object oriented model. FOTool integrates the rigour of formal methods and the ease of ...
IEEE

Reconnecting the 30-Year Timeline (1992–2023): Constructing a Consistent Global 500-m NTL Dataset Using Super-Resolution Reconstruction and Ground-Object Feature Constraints

Abstract: Nighttime light (NTL) data provides an excellent opportunity for continuous spatiotemporal monitoring of global urbanization. However, in the two extensively employed NTL datasets [defense ...
GitHub

Guide to ARM Assembly Language

ARM assembly language is a low-level programming language designed for ARM (Advanced RISC Machine) processors, which are prevalent in embedded systems like smartphones and laptops. It enables direct ...
GitHub

WMNav: Integrating Vision-Language Models into World Models for Object Goal Navigation

[IROS'25] This repository is the official implementation of WMNav, a novel World Model-based Object Goal Navigation framework powered by Vision-Language Models. agent_cfg: ... vlm_cfg: model_cls: ...