Results 151 to 160 of about 20,008 (316)

A general theory of action languages

, 1998
We present a general theory of action-based languages as a paradigm, for the description, of those computational systems which include elements of concurrency and networking, and extend this approach to describe dist.ributed systems and also t,o ...
Letichevsky, AA, Gilbert, D
core  

Characteristics, Management, and Utilization of Muscles in Musculoskeletal Humanoids: Empirical Study on Kengoro and Musashi

Advanced Intelligent Systems, EarlyView.
Musculoskeletal humanoids exhibit rich biomechanical properties that remain insufficiently unified in prior discussions. This article systematically categorizes muscle characteristics into five properties: redundancy, independency, anisotropy, variable moment arm, and nonlinear elasticity, and analyzes their combined effects on control.
Kento Kawaharazuka, Kei Okada, Masayuki Inaba   +2 more
wiley   +1 more source

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates

, 2011
Logic programs with aggregates (LPA) are one of the major linguistic extensions to Logic Programming (LP). In this work, we propose a generalization of the notions of unfounded set and well-founded semantics for programs with monotone and antimonotone ...
Alviano, Mario, Faber, Wolfgang, Leone, Nicola, Calimeri, Francesco, Perri, Simona   +4 more
core  

Mobile Process in Unifying Theories [PDF]

, 2004
This report presents the initial work in the development of a theory of mobile processes in Circus, a language for describing state-based reactive systems.
Tang, Xinbei
core  

Human‐in‐the‐Loop Object Segmentation for 3D Gaussian Splatting via Finger‐based VR Interface

Advanced Intelligent Systems, EarlyView.
This study introduces a human‐in‐the‐loop segmentation framework for 3D Gaussian Splatting that integrates real‐time optimization with intuitive VR‐based finger prompting. Compared with existing automatic, learning‐based methods, it achieves significantly higher accuracy and reduced segmentation time.
Yongseok Lee, Hyunreal Park, Hyunsu Kim, Harim Ji, Dongho Yee, Dongjun Lee   +5 more
wiley   +1 more source

Lidar‐Based Object Tracking of Traffic Participants with Sensor Nodes in Existing Urban Infrastructure

Advanced Intelligent Systems, EarlyView.
This paper presents a lidar‐based sensor node design and a rule‐based state observer for edge‐based traffic participant tracking. Unlike other state‐of‐the‐art methods, this state observer enables real‐time, CPU‐only edge processing without relying on machine learning approaches.
Simon Schäfer, Bassam Alrifaee, Ehsan Hashemi   +2 more
wiley   +1 more source

Online Locality Meets Distributed Quantum Computing

We connect three distinct lines of research that have recently explored extensions of the classical LOCAL model of distributed computing: A. distributed quantum computing and non-signaling distributions [e.g. STOC 2024], B.
Le Gall, François, d'Amore, Francesco, RozhoÅ, Václav, Melnyk, Darya, Modanese, Augusto, Renou, Marc Olivier, Coiteux-Roy, Xavier, Renou, Marc-Olivier, Pai, Shreyas, Lievonen, Henrik, Suomela, Jukka, Akbari, Amirreza, Rozhoň, Václav   +12 more
core   +1 more source

Measurement of semantic proximity within computational theory of semantic interpretation

Journal of Physics: Conference Series, 2019
Y M Vishnyakov, R Y Vishnyakov
openaire   +1 more source

SCP‐Pose: Leveraging Structural Consistency Prior Knowledge for Real‐Time Category‐Level 6D Pose Estimation

Advanced Intelligent Systems, EarlyView.
This paper presents a high‐speed object pose estimation method that deconstructs objects into geometric components. Inspired by human cognitive generalization, it detects these primitives and infers the 6D pose from their stable spatial configuration.
Xuyang Li, Mingxuan Yu, Xuemei Xie, Zhaozhuo An, Qiyue Li, Xiaodan Song, Guangming Shi   +6 more
wiley   +1 more source

A Note on Logic Programming Fixed-Point Semantics

, 1993
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is characterized by properties of universality.
Sassone, V.
core