Results 171 to 180 of about 1,341,656 (346)

Selective strictness and parametricity in structural operational semantics, inequationally [PDF]

, 2007
Janis Voigtländer, Patricia Johann
openalex   +1 more source

Equivalence of Denotational and Operational Semantics for Interaction Languages

, 2022
Erwan Mahe, Christophe Gaston, Pascale Le Gall   +2 more
openalex   +2 more sources

Parallel Multimodal Language Model: Enhanced Breast Nodule Diagnosis through Parallel Multimodal Representations and Large Language Models

Advanced Intelligent Systems, EarlyView.
This study introduces the Parallel Multimodal Language Model (PMLM), a multimodal diagnostic framework that integrates medical images and textual data to enhance early breast cancer detection. By addressing the limitations of text‐only large language models, PMLM significantly improves diagnostic performance.
Dashun Zheng, Patrick Cheong‐Iao Pang, Ping He, Yue Sun, Hongju Yan, Xiangyu Xiong, Ligang Cui, Tao Tan, Lingyun Bao   +8 more
wiley   +1 more source

Operational semantics of a domain specific language for real time musician–computer interaction

Discrete event dynamic systems, 2013
José Echeveste, Arshia Cont, Jean-Louis Giavitto, Florent Jacquemard   +3 more
semanticscholar   +1 more source

Gaussian Mixture Model‐Based Data Association Incorporating a Deep Learning Network for Multivehicle Tracking and Detection in Autonomous Driving Systems

Advanced Intelligent Systems, EarlyView.
This study introduces a real‐time light detection and ranging‐camera fusion framework for vehicle detection and tracking. Using a Gaussian mixture model‐based association and improved affinity metrics, the method enhances tracking reliability in dynamic conditions.
Muhammad Adeel Altaf, Min Young Kim
wiley   +1 more source

A Scientific Calculator for Exact Real Number Computation Based on LRT, GMP and FC++

Acta Universitaria, 2012
Language for Redundant Test (LRT) is a programming language for exact real number computation. Its lazy evaluation mechanism (also called call-by-need) and its infinite list requirement, make the language appropriate to be implemented in a functional ...
J. A. Hernández, J. Raymundo Marcial-Romero, Alejandra Lucatero   +2 more
doaj  

A congruence theorem for structured operational semantics with predicates

, 1993
J. C. M. Baeten, C. Verhoef
openalex   +2 more sources

Operational Semantics and Type Soundness of Quantum Programming Language LanQ [PDF]

, 2007
Hynek Mlnařík
openalex   +1 more source

Skin‐Like Airflow Odometry for Micro Aerial Vehicles Based on Distributed Thermal Anemometers

Advanced Intelligent Systems, EarlyView.
A novel bioinspired skin‐like airflow odometry system for micro aerial vehicles employs distributed thermal anemometers to enable motion estimation in GNSS‐denied environments. Computational fluid dynamics simulation validates sensor deployment feasibility, while a transformer‐enhanced gated recurrent unit network extracts high‐precision airflow ...
Weicheng Di, Shihao Dang, Zheng Gong, Jiahui Zhang, Jinwu Xiang, Yonggang Jiang, Daochun Li, Zhan Tu   +7 more
wiley   +1 more source

Extrinsically Typed Operational Semantics for Functional Languages

, 2020
Matteo Cimini, Dale Miller, Jeremy G. Siek   +2 more
openalex   +1 more source