Results 71 to 80 of about 518,705 (322)

Using a hydro-reference ontology to provide improved computer-interpretable semantics for the groundwater markup language (GWML2)

International Journal of Geographical Information Science, 2018
Comprehensive water data management requires semantically integrating various data models and ontologies that represent hydrologic knowledge. But integration is hampered by nuances in the use of water-related vocabulary (e.g.
T. Hahmann, Shirly Stephen
semanticscholar   +1 more source

Learning Highly Dynamic Skills Transition for Quadruped Jumping Through Constrained Space

Advanced Robotics Research, EarlyView.
A quadruped robot masters dynamic jumps through constrained spaces with animal‐inspired moves and intelligent vision control. This hierarchical learning approach combines imitation of biological agility with real‐time trajectory planning. Although legged animals are capable of performing explosive motions while traversing confined spaces, replicating ...
Zeren Luo, Jiahui Zhang, Yimin Han, Ji Ma, Minghao Lu, Ioannis Havoutis, Peng Lu   +6 more
wiley   +1 more source

The Future of Research in Cognitive Robotics: Foundation Models or Developmental Cognitive Models?

Advanced Robotics Research, EarlyView.
Research in cognitive robotics founded on principles of developmental psychology and enactive cognitive science would yield what we seek in autonomous robots: the ability to perceive its environment, learn from experience, anticipate the outcome of events, act to pursue goals, and adapt to changing circumstances without resorting to training with ...
David Vernon
wiley   +1 more source

An Efficient Algorithm for Sorting and Duplicate Elimination by Using Logarithmic Prime Numbers

Big Data and Cognitive Computing
Data structures such as sets, lists, and arrays are fundamental in mathematics and computer science, playing a crucial role in numerous real-life applications.
Wei-Chang Yeh, Majid Forghani-elahabad
doaj   +1 more source

The Theory of Finitely Supported Structures and Choice Forms [PDF]

Scientific Annals of Computer Science, 2018
The theory of finitely supported algebraic structures provides a first step in computing infinite algebraic structures that are finitely supported modulo certain atomic permutation actions.
A. Alexandru
doaj   +1 more source

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

Advanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source

Improving the Robustness of Visual Teach‐and‐Repeat Navigation Using Drift Error Correction and Event‐Based Vision for Low‐Light Environments

Advanced Robotics Research, EarlyView.
Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley   +1 more source

A formal theory of conceptual modeling universals [PDF]

, 2004
Conceptual Modeling is a discipline of great relevance to several areas in Computer Science. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) and its underlying upper level ontology, proposed in [4,5], to evaluate ...
Guizzardi, Giancarlo, Sinderen, Marten van, Wagner, Gerd   +2 more
core   +3 more sources

Formal Model Engineering for Embedded Systems Using Real-Time Maude

, 2011
This paper motivates why Real-Time Maude should be well suited to provide a formal semantics and formal analysis capabilities to modeling languages for embedded systems.
A. Boronat, A. Boronat, A. Boronat, A. Boronat, A. Cerone, E. Lien, F. Wang, Francisco Durán, J. E. Rivera, J. E. Rivera, J. Eker, J. Meseguer, J. Srba, K. Bae, K. Bae, M. AlTurki, M. Clavel, M. Katelman, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, P. C. Ölveczky, Peter Csaba Ölveczky, R. Alur, S. P. Miller, Vlad Rusu   +27 more
core   +2 more sources

Continual Learning for Multimodal Data Fusion of a Soft Gripper

Advanced Robotics Research, EarlyView.
Models trained on a single data modality often struggle to generalize when exposed to a different modality. This work introduces a continual learning algorithm capable of incrementally learning different data modalities by leveraging both class‐incremental and domain‐incremental learning scenarios in an artificial environment where labeled data is ...
Nilay Kushawaha, Egidio Falotico
wiley   +1 more source