Results 31 to 40 of about 696,420 (220)
An Intelligent Monitoring System for the Safety of Building Structure under the W2T Framework
International Journal of Distributed Sensor Networks, 2015 Monitoring systems for the safety of building structure (SBS) can provide people with important data related to main supporting points in a building and then help people to make a reasonable maintenance schedule.
Haiyuan Wang +5 more
doaj +1 more source
Current Directions in Biomedical Engineering, 2016 Intraoperative thermal neuroimaging is a novel intraoperative imaging technique for the characterization of perfusion disorders, neural activity and other pathological changes of the brain.
Hoffmann Nico +4 more
doaj +1 more source
A survey on applications of ontology knowledge representation in robotics
智能科学与技术学报, 2022 The technology about knowledge representation plays an increasingly important role in the autonomous operation of robots facing the complex and unstructured working environment.Knowledge representation focuses on the model of knowledge symbols and how to
Yueguang GE +6 more
doaj
The interaction of representation and reasoning [PDF]
, 2013 Automated reasoning is an enabling technology for many applications of informatics. These applications include verifying that a computer program meets its specification; enabling a robot to form a plan to achieve a task and answering questions by ...
Ascoli G +8 more
core +1 more source
Elimination of Cuts in First-order Finite-valued Logics [PDF]
, 1993 A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established.
Baaz, Matthias +2 more
core +4 more sources
Controlled Natural Languages for Knowledge Representation and Reasoning [PDF]
, 2016 Controlled natural languages (CNLs) are effective languages for knowledge representation and reasoning. They are designed based on certain natural languages with restricted lexicon and grammar.
Gao, Tiantian
core +1 more source
Large-scale Parallel Stratified Defeasible Reasoning [PDF]
, 2012 We are recently experiencing an unprecedented explosion of available data from the Web, sensors readings, scientific databases, government authorities and more.
Antoniou, Grigoris +4 more
core +1 more source
Deep Belief Networks for Multimodal, Images-based Non Contact Material Characterization
Digital Presentation and Preservation of Cultural and Scientific Heritage, 2017 Our growing cognisance about the chemo-physical properties of electromagnetic waves and of their interaction with various materials provides expanding range of possibilities for quantification and non contact material characterization even in difficult ...
Magdelena Stoyanova, Lilia Pavlova
doaj +1 more source
Improving Visual Reasoning Through Semantic Representation
IEEE Access, 2021 In visual reasoning, the achievement of deep learning significantly improved the accuracy of results. Image features are primarily used as input to get answers.
Wenfeng Zheng +4 more
doaj +1 more source
Managing data through the lens of an ontology [PDF]
, 2018 Ontology-based data management aims at managing data through the lens of an ontology, that is, a conceptual representation of the domain of interest in the underlying information system.
Lenzerini, Maurizio
core +1 more source