A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
We present preliminary work on the incremental and flexible description of image and video semantic content by the use of a description logic (DL), GRAIL, developed at the University of Manchester. ... Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped together by content. ... DESCRIPTION LOGICS AND GRAIL Description logics, otherwise known as terminology logics, are descendants of the KL-ONE language. ...doi:10.1117/12.234790 dblp:conf/spieSR/GobleHB96 fatcat:suxleilvtjcwlalhom5cvudjri
The recipient's class anomaly score has slightly more weight since it primarily represents the business logic of the sender. ... The proposed detection system consists of two logical modules, the Packet Processing Unit (PPU) and the Statistical Processing Unit (SPU). ...doi:10.25046/aj020358 fatcat:2crf76dd75ca5d2yjy6vfxkuwi
In this paper, a delay-dependent controller based on the sliding mode concept is proposed to stabilize a networked robotic system in a decentralized synchronization scheme. In addition to being affected by communication time-delays between agents, and seen that external disturbances obviously affect any physical and dynamic system, an unsettling action resulting from measurement errors affects the position and the velocity state vectors of agents. Then, it has been proved that the synchronizingdoi:10.25046/aj020366 fatcat:lz53vuczpreolaule54nnayiii
more »... algorithm enables cooperative agents, acting in a disturbed environment, to efficiently accomplish a shared task and to compensate delayed communication data. The proposed controller has been implemented in a cooperative robotic system, where the controller proves its robustness face to disturbances. such uncertainty sources can be hard to manage during the task execution. Thus, to ensure a fluid response to the distributed multi-robot system, tradeoffs between multi-robot flexibility, time delay adjustment, uncertainty compensation, and task execution efficiency should be considered. To achieve it, we present the stability analysis of a robust control concept which combines the SMC design with a particular class of the graph theory, aiming to stabilize a networked robotic system.
In the modernistics years, Graphene has become a promising resplendence in the horizon of fabrication technology, due to some of its unique electronic properties like zero band gap, high saturation velocity, higher electrical conductivity and so on followed by extraordinary thermal, optical and mechanical properties such as-high thermal conductivity, optical transparency, flexibility and thinness. Graphene based devices demand to be deliberated as a possible option for post Si based fabricationdoi:10.25046/aj0203177 fatcat:qhd2rteuajdqzo77fq74ixwevu
more »... technology. In this paper, we have modelled a top gated graphene metal oxide semiconductor field effect transistor (MOSFET). Surface potential dependent Quantum capacitance is obtained selfconsistently along with linear and square root approximation model. Gate voltage dependence of surface potential has been analyzed with graphical illustrations and required mathematics as well. Output characteristics, transfer characteristics, transconductance (as a function of gate voltage) behavior have been investigated. In the end, effect of channel length on device performance has been justified. Variation of effective mobility and minimum carrier density with respect to channel length has also been observed. Considering all of the graphical illustrations, we do like to conclude that, graphene will be a successor in post silicon era and bring revolutionary changes in the field of fabrication technology.
This Semantic-less tool is described below after a description of the context of the issue. ... To assess whether or not a system was breached, it is required to establish malicious system behavior patterns and then decompose those patterns into generic computing system metrics that can later be classified ...doi:10.25046/aj020371 fatcat:nm5dmv2atncmrj7scg3kwgq7l4
Application/Improvement: Use of Description logics increases the efficiency of semantic retrieval. ... Method: Resource Description Framework and Ontology Web Language are standard formats for sharing and integrating knowledge. ... The proposed work 4-6 introduces Description Logic (DL) as a logical formalism to reason over concepts. ...doi:10.17485/ijst/2016/v9i30/99072 fatcat:asnamx3urveabjyritsri3guuy
It will thus call the Description Logic (DL) based reasoner for Tbox reasoning which will perform reasoning by classifying and realizing the elements of a given ontology. ... Objective: To present a reasoner based on the hybrid approach which integrates the Description Logic (DL) reasoner with Rule Logic (RL) based reasoner for optimizing the reasoning process in ontology's ... As per the recommendations of W3C, Description Logic (DL's) 2 is the basic building block of ontology's whose responsibility is to guard the logics. ...doi:10.17485/ijst/2017/v10i23/111164 fatcat:pk76k252d5bj7ggesmd3tgtbz4
To investigate errors identified in SNOMED CT by human reviewers with help from the Abstraction Network methodology and examine why they had escaped detection by the Description Logic (DL) classifier. ... DL-based auditing techniques built in terminology development environments ensure the logical consistency of the terminology. ... On the one hand, Description Logics classifiers can automatically identify logical inconsistencies in the terminology. ...pmid:20841848 pmcid:PMC4303368 fatcat:vxs6wk47vrednat4voab6wygt4
In this paper, the descriptive semantics of class diagram, interaction diagram and state machine diagram are defined by first order logic formulas. ... We distinguish descriptive semantics from functional semantics of modelling languages. ... First order logic (FOL) and description logics (DLs) are used to formalise class diagram  . ...doi:10.1109/sefm.2007.22 dblp:conf/sefm/Bayley07 fatcat:vu5xmf4eirakrn673ahq3ckjau
In this paper I rely on nominal concep- tualism to logically characterise agents' concept-based descriptions of the world and analyse a undamental logical system for conception representation. ... Note that (1), (2), and (3) do not independently have any logical consequence in a logical description. In fact, we need to utilise logical operators in order to achieve logical consequences. ... Any ' ' is capable of being mapped into itself (by means of the reference ' ' under which has been classified). ...doi:10.52119/lphs.2021.60.62.004 fatcat:ik6kgpyjgzeurfahazczhezlpq
In order to emphasize on the security and privacy parameters, a Web Description Logic Rule Generation (WDLRG) algorithm has been recommended for identifying and evaluating vulnerable users as well as eliminating ... The research imposes WDLRG (Web Description Logic Rule Generation) Algorithm for identifying and analyzing attackers and vulnerabilities. ... Figure 1 : 1 Figure 1: Accuracy Result Web Description Logic Rule Generation And Other Machine Learning Algorithms -A Comparative Study . ...doi:10.30534/ijatcse/2020/140922020 fatcat:ajjat7h5obcr7ohfyrfd7dphpu
) CATEGORIZE(CLASSIFY) CHARACTER CHECK CHEMISTRY CLASSIFY CODE CODING(CODE COMMERCIAL COMMITTEE COMMUNICATIONS COMPILER COMPUTE COMPUTER (COMPUTE) CONTROL CORE CRITICISM(DESCRIPTION) CUSTOMER(USER) DATA ... DEFINITION DESCRIPTION DESIGN DIAGNOSTICS DICTIONARY DISCUSSION (DESCRIPTION) DOCUMENTATION DRUM ECONOMICS EDUCATION EFFECTIVE(EFFICIENT EFFICIENT ENGINEER(ENGINEERING) ENGINEERING ENGLISH EQUIPMENT EVALUATION ...
However, descriptive logic changes constantly, following the development of multiplicity and the extension of concepts. ... of logics. ... The complex of reality of this field will be synthesized using these logical descriptions. ...doi:10.17265/2159-5313/2019.04.003 fatcat:ji6pcs5gczbe5icxf3frojav2i
In many cases, the root cause could only be identified and corrected with the aid of a classifier. Limitations This is a preliminary 'experiment of opportunity.' ... Because it is formulated in a description logic, SNOMED hierarchies are created in two steps: < A 'stated form' that defines each concept is asserted manually by SNOMED's authors in the description logic ... Using a description logic requires staff who understand both medical content and description logics. It requires adapting the techniques of software engineering to tracing and managing errors. ...doi:10.1136/amiajnl-2010-000045 pmid:21515545 pmcid:PMC3128394 fatcat:zqu24uskhrfxnn5fsvlctcvjdq
Description: This is a supplement to plane geometry courses, intending to in- crease logical thinking by introducing for- mal logic directly into the course. ... Description of B. 120: (50 pages, $.30) All types of aviation references of interest to children are first classified on ten pages by grade level and subject area. ...
« Previous Showing results 1 — 15 out of 404,955 results