Results 81 to 90 of about 1,341,656 (346)
Transformations of Logic Programs with Goals as Arguments
, 2002 We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can write logic programs which use goals as data.
Pettorossi, Alberto, Proietti, Maurizio
core +5 more sources
Operational Semantics for Declarative Networking [PDF]
, 2008 Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a computer network. It has already been used to implement various networked systems, e.g., network overlays, Byzantine fault tolerance protocols, and distributed hash tables ...
Navarro Perez, J., Rybalchenko, A.
openaire +2 more sources
Multiclass Identification of Van der Waals Semiconductors via Attention Neural Networks
Advanced Photonics Research, EarlyView.Intelligent characterization of van der Waals semiconductors is an essential process for industrial manufacturing and laboratory fabrication. A fused network of ResNet‐Inception with attention layer is developed for accurate multiclass classification of randomly distributed layers of chemical vapor deposition‐grown van der Waals semiconductors ...
Xingchen Dong +5 more
wiley +1 more source
Inductive assertions and operational semantics [PDF]
International Journal on Software Tools for Technology Transfer, 2003 This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes only the proof obligations that would be produced by a verification condition generator but does not require the definition of a verification condition generation.
openaire +2 more sources
Scalable Task Planning via Large Language Models and Structured World Representations
Advanced Robotics Research, EarlyView.This work efficiently combines graph‐based world representations with the commonsense knowledge in Large Language Models to enhance planning techniques for the large‐scale environments that modern robots will need to face. Planning methods often struggle with computational intractability when solving task‐level problems in large‐scale environments ...
Rodrigo Pérez‐Dattari +4 more
wiley +1 more source
Meaning and Reference in Programming Languages
PhilosophiesThis paper provides an analysis of the meaning–reference problem, as traditionally advanced in the philosophy of language, for imperative programming languages.
Nicola Angius
doaj +1 more source
Reversing Parallel Programs with Blocks and Procedures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2018 We show how to reverse a while language extended with blocks, local variables, procedures and the interleaving parallel composition. Annotation is defined along with a set of operational semantics capable of storing necessary reversal information, and ...
James Hoey, Irek Ulidowski, Shoji Yuen
doaj +1 more source
Flexible Sensor‐Based Human–Machine Interfaces with AI Integration for Medical Robotics
Advanced Robotics Research, EarlyView.This review explores how flexible sensing technology and artificial intelligence (AI) significantly enhance human–machine interfaces in medical robotics. It highlights key sensing mechanisms, AI‐driven advancements, and applications in prosthetics, exoskeletons, and surgical robotics.
Yuxiao Wang +5 more
wiley +1 more source
Stepped Frequency Microwave Radiometer Wind-Speed Retrieval Improvements
Remote Sensing, 2019 With the operational deployment of the *SFMR, hurricane reconnaissance and research aircraft provide near real-time observations of the 10 m ocean-surface wind-speed both within and around tropical cyclones.
Joseph W. Sapp +4 more
doaj +1 more source
Towards Interactive Logic Programming [PDF]
, 2015 Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal $G_1 \& G_2$ from a program $P$ simply terminates with a success if both $G_1$ and $G_2 ...
Kwon, Keehang, Park, Mi-Young
core