Results 111 to 120 of about 46,330 (328)
A Task and Motion Planning Framework for Partially Observable Household Manipulation Scenes
Advanced Intelligent Systems, EarlyView.This paper presents a novel TAMP framework tackling partial observability, cluttered scenes, and vague goals via symbolic reasoning and occlusion‐aware planning. It outperforms prior learning, policy, and LLM‐based methods in six real and simulated household tasks.
Yuhong Ma +3 more
wiley +1 more source
Workshop on Formal Languages, Automata and Petri Nets
, 1998 This report contains abstracts of the lectures presented at the workshop 'Formal Languages, Automata and Petri-Nets' held at the University of Stuttgart on January 16-17, 1998. The workshop brought together partners of the German-Hungarian project No. 233.6, Forschungszentrum Karlsruhe, Germany, and No. D/102, TeT Foundation, Budapest, Hungary.
openaire +3 more sources
Intelligent Supportive System for People with Profound Intellectual and Multiple Disabilities
Advanced Intelligent Systems, EarlyView.A holistic INSENSION system is developed—a novel intelligent decision support system leveraging state‐of‐the‐art noninvasive audio‐visual sensor technologies together with machine learning algorithms and expert knowledge, to detect and interpret behaviors and communications (nonverbal signals—NVSs) of people with PIMD in challenging real‐world ...
Gašper Slapničar +10 more
wiley +1 more source
An Integrated and Flexible Humidity Sensor for Noncontact Handwriting Recognition
Advanced Intelligent Systems, EarlyView.A noncontact handwriting recognition system is fabricated by directly integrating a 4 × 4 flexible humidity sensing array and a designed flexible sampling circuit. Assisted with a CNN model, the handwriting recognition system can realize the recognition of handwriting digits 1–9 with an average accuracy of 98.67%.
Yu Xiao, Jingjing Yao, Shujuan Zhu
wiley +1 more source
All about unambiguous polynomial closure [PDF]
TheoretiCSWe study a standard operator on classes of languages: unambiguous polynomial closure. We prove that for every class C of regular languages satisfying mild properties, the membership problem for its unambiguous polynomial closure UPol(C) reduces to the ...
Thomas Place, Marc Zeitoun
doaj +1 more source
Automata, formal languages abstract switching, and computability in a Ph.D. computer science program [PDF]
, 1968 Robert McNaughton
openalex +1 more source
ChatMolData: A Multimodal Agent for Automatic Molecular Data Processing
Advanced Intelligent Systems, EarlyView.While large language models (LLMs) struggle with molecular data due to single‐modality limitations, ChatMolData—a multimodal agent for processing databases, images, structure files, and documents—is presented. It combines LLMs with tools for retrieval, structuring, prediction, visualization, and search, achieving > 90% accuracy across 128 tasks.
Yi Yu +5 more
wiley +1 more source
Simulations for Event-Clock Automata [PDF]
Logical Methods in Computer ScienceEvent-clock automata (ECA) are a well-known semantic subclass of timed automata (TA) which enjoy admirable theoretical properties, e.g., determinizability, and are practically useful to capture timed specifications.
S Akshay +3 more
doaj +1 more source
Advances and Trends in Automata and Formal Languages A Collection of Papers in Honour of the 60th Birthday of Helmut Juergensen - J.UCS Special Issue [PDF]
, 2002 Cristian S. Calude +2 more
openalex +1 more source
Advanced Intelligent Systems, EarlyView.The study presents a prototype novel workflow that utilizes artificial intelligence for the digitization of natural history collections, which would fit within a robotic‐integrated system. The work focuses on a collaborative‐robot (cobot) inspired workflow to digitize one of the largest collections housed at the Natural History Museum UK: pinned ...
Naifeng Zhang +4 more
wiley +1 more source