Results 91 to 100 of about 239,048,002 (311)
Modular Semantics for Object-Oriented Models [PDF]
, 1998 This paper describes a formal, modular approach to the semantics of object-oriented models. These models are expressed in the UML notation augmented with the Object Constraint language (OCL), which provides a precise textual language for expressing ...
Howse, John +5 more
core +1 more source
Advanced Robotics Research, EarlyView.DRIVE‐SAFE evaluates learning‐based, black‐box autonomous driving policies against evolving temporal safety requirements using Signal Temporal Logic robustness metrics. It aggregates distributional robustness measures with domain‐informed weights to guide iterative retraining.
Kristy Sakano +3 more
wiley +1 more source
Denotational semantics for thread algebra
, 2008 This paper gives a denotational semantics for thread algebra (TA), an algebraic framework for the description and analysis of recent programming languages such as C# and Java [J.A. Bergstra, C.A.
Vu, Thuy Duong, Vu, T.D.
core +1 more source
Flexible Sensors for Robotics Tactile Perception: A Review
Advanced Robotics Research, EarlyView.Flexible tactile sensing for robotics is reviewed through four interconnected dimensions. Physical mechanisms include piezoresistive, capacitive, piezoelectric, triboelectric, iontronic, and optical sensing. Structural design includes bioinspired, defect‐based, and MEMS‐based tactile systems.
Yu Song, Ying Chen, Yihao Chen, Xue Feng
wiley +1 more source
Advanced Robotics Research, EarlyView.A balanced multimodal food‐waste dataset and a novel Split Spatial‐Spectral Attention fusion framework are presented for robotic contaminant detection. Separate processing of RGB, thermal, and multispectral inputs preserves subtle material signatures before feature integration, reducing modality interference and improving classification and ...
Matthew Vestal +5 more
wiley +1 more source
Efficient Computation of the Well-Founded Semantics over Big Data [PDF]
, 2014 Data originating from theWeb, sensor readings and social media result in increasingly huge datasets. The so called Big Data comes with new scientific and technological challenges while creating new opportunities, hence the increasing interest in academia
Faber, Wolfgang +2 more
core +1 more source
A Montague-based model of Generative Lexical Semantics [PDF]
, 2007 International audienceComputational semantics has long relied upon the Montague correspondance between syntax and semantics, which is not by itself well suited for the computing of some phenomena, such as logical polysemy, addressed by recent advances in
Retoré, Christian +2 more
core +1 more source
Advanced Robotics Research, EarlyView.This review brings together 20 publications describing 11 robotic system families developed for instrument handling, sterile‐package opening, supply delivery, and operating room logistics. Perception is becoming more capable through deep learning and language‐guided control, but autonomy remains limited, evidence is largely laboratory‐based, and no ...
Eugenia Mawuenya Akpo +4 more
wiley +1 more source
KCAR : a knowledge-driven approach for concurrent activity recognition [PDF]
, 2015 Recognising human activities from sensors embedded in an environment or worn on bodies is an important and challenging research topic in pervasive computing.
Ye, Juan +4 more
core +1 more source
An Integrated NLP‐ML Framework for Property Prediction and Design of Steels
Advanced Science, EarlyView.This study presents a data‐driven framework that uses language‐processing techniques to interpret steel processing descriptions and machine‐learning models to predict mechanical properties. By organising complex process histories into meaningful groups and enabling rapid property forecasts, the work supports faster, more informed steel design through ...
Kiran Devraju +5 more
wiley +1 more source