Results 171 to 180 of about 37,638 (267)
Optimizing 3D Bin Packing of Heterogeneous Objects Using Continuous Transformations in SE(3)
Advanced Intelligent Systems, EarlyView.This article presents a method for solving the three‐dimensional bin packing problem for heterogeneous objects using continuous rigid‐body transformations in SE(3). A heuristic optimization framework combines signed‐distance functions, neural network approximations, point‐cloud bin modeling, and physics simulation to ensure feasibility and stability ...
Michele Angelini, Marco Carricato
wiley +1 more source
A Local Formalization of Inheritance: Preliminary Report
, 1990 Existing work on formalizing inheritance suffers from two significant drawbacks. On the one hand, the formalization is often nonlocal, in that the translation from the inheritance hierarchy into the relevant declarative language requires a complete ...
Matthew L. Ginsberg
core
Advanced Intelligent Systems, EarlyView.This article proposes NIRGB‐GS, a multimodal 3DGS variant that enables reliable 3D reconstruction and normal‐light novel‐view synthesis for extremely low‐light scenes by fusing paired near‐infrared and noisy RGB captures. High‐SNR near‐infrared modality and modality‐specific appearance encoding together resolve the issues of unstable pose/geometry ...
Chengyun Yang +3 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.OntoLogX is an autonomous AI agent that uses large language models to transform unstructured cyber security logs into ontology grounded knowledge graphs. By integrating retrieval augmented generation, iterative correction, and a light‐weight log ontology, OntoLogX produces semantically consistent intelligence that links raw log events to MITRE ATT & CK
Luca Cotti +4 more
wiley +1 more source
Advanced Intelligent Systems, EarlyView.Electrical impedance tomography (EIT) tactile skins enable multiplexed measurements that trade sensing speed against information richness. This work introduces an economy‐of‐touch framework that treats tactile sensing as an information‐budgeting problem.
Xiaoxian Xu, David Hardman, Fumiya Iida
wiley +1 more source
Advanced Intelligent Systems, EarlyView.This work proposes MDSC, an unsupervised low‐light enhancement framework integrating three core innovations: detail‐aware smoothing, multipath decomposition, and synergistic correction. It suppresses noise, handles rapid illumination variations, and prevents reflectance‐contrast amplification inherent to Retinex separation.
Yong Cheng +6 more
wiley +1 more source
A Two‐Stage Characterization Pipeline and Open‐Source Framework for Reproducible Tactile Sensing
Advanced Intelligent Systems, EarlyView.The same soft tactile sensor returns different numbers when embodied in different robots. This is an Embodiment Gap that no shared framework currently captures transparently. A two‐stage characterization pipeline, paired with a FAIR open‐source digital datasheet, decouples intrinsic sensor behavior from embodiment effects and condenses cross‐laboratory
Matteo Lo Preti +6 more
wiley +1 more source
A petri net formalization of a publish-subscribe process system. [PDF]
Publish/subscribe systems are getting more and more integrated into the execution of business processes in process aware information systems. This integration enables the distribution of the process logic and increases the scalability and adaptability of
Hens, Pieter +3 more
core
American Journal of Agricultural Economics, EarlyView.Abstract This study examines the impact of soil erosion on agricultural land values in the United States (US) Midwest. Based on a novel county‐level panel data set with information on soil erosion levels and agricultural land values covering five census years (1997, 2002, 2007, 2012, and 2017), we separately investigate the direct effect of two types ...
Le Chen +3 more
wiley +1 more source
The formalization of Message Sequence Charts
, 2008 We discuss the state of a airs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the definition of MSC are still candidate for formalization. Further, we give a tutorial on the formal semantics of MSC.
S. Mauw, S. Mauw A
core