Filters








404,955 Hits in 2.2 sec

Describing and classifying multimedia using the description logic GRAIL

Carole A. Goble, Christian Haul, S. Bechhofer, Ishwar K. Sethi, Ramesh C. Jain
1996 Storage and Retrieval for Still Image and Video Databases IV  
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

Volume 2, Issue 3, Special issue on Recent Advances in Engineering Systems (Published Papers) Articles Transmit / Received Beamforming for Frequency Diverse Array with Symmetrical frequency offsets Shaddrack Yaw Nusenu Adv. Sci. Technol. Eng. Syst. J. 2(3), 1-6 (2017); View Description Detailed Analysis of Amplitude and Slope Diffraction Coefficients for knife-edge structure in S-UTD-CH Model Eray Arik, Mehmet Baris Tabakcioglu Adv. Sci. Technol. Eng. Syst. J. 2(3), 7-11 (2017); View Description Application ...

Sarra Alqahtani, Rose Gamble
2017 Advances in Science, Technology and Engineering Systems  
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

Volume 2, Issue 3, Special issue on Recent Advances in Engineering Systems (Published Papers) Articles Transmit / Received Beamforming for Frequency Diverse Array with Symmetrical frequency offsets Shaddrack Yaw Nusenu Adv. Sci. Technol. Eng. Syst. J. 2(3), 1-6 (2017); View Description Detailed Analysis of Amplitude and Slope Diffraction Coefficients for knife-edge structure in S-UTD-CH Model Eray Arik, Mehmet Baris Tabakcioglu Adv. Sci. Technol. Eng. Syst. J. 2(3), 7-11 (2017); View Description Application ...

Fatma Abdelhedi, Nabil Derbel
2016 Advances in Science, Technology and Engineering Systems  
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 synchronizing
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.
doi:10.25046/aj020366 fatcat:lz53vuczpreolaule54nnayiii

Articles Transmit / Received Beamforming for Frequency Diverse Array with Symmetrical frequency offsets Shaddrack Yaw Nusenu Adv. Sci. Technol. Eng. Syst. J. 2(3), 1-6 (2017); View Description Detailed Analysis of Amplitude and Slope Diffraction Coefficients for knife-edge structure in S-UTD-CH Model Eray Arik, Mehmet Baris Tabakcioglu Adv. Sci. Technol. Eng. Syst. J. 2(3), 7-11 (2017); View Description Applications of Case Based Organizational Memory Supported by the PAbMM Architecture Martín, María de los ...

Jith Sarker, Abu Shami Md. Zadid Shifat, Rezoan Ahmed Shuvro
2017 Advances in Science, Technology and Engineering Systems  
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 fabrication
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.
doi:10.25046/aj0203177 fatcat:qhd2rteuajdqzo77fq74ixwevu

Volume 2, Issue 3, Special issue on Recent Advances in Engineering Systems (Published Papers) Articles Transmit / Received Beamforming for Frequency Diverse Array with Symmetrical frequency offsets Shaddrack Yaw Nusenu Adv. Sci. Technol. Eng. Syst. J. 2(3), 1-6 (2017); View Description Detailed Analysis of Amplitude and Slope Diffraction Coefficients for knife-edge structure in S-UTD-CH Model Eray Arik, Mehmet Baris Tabakcioglu Adv. Sci. Technol. Eng. Syst. J. 2(3), 7-11 (2017); View Description Application ...

Yahav Biran, George Collins, Borky John M, Joel Dubow
2017 Advances in Science, Technology and Engineering Systems  
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

Emerging Trends in Reducing Semantic Gap towards Multimedia Access: A Comprehensive Survey

Aijazahamed Qazi, R. H. Goudar
2016 Indian Journal of Science and Technology  
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

A Hybrid DL and RL Based Reasoner for Optimum Entailments in Ontologies

Deepika Chaudhary, Jaiteg Singh, D. P. Kothari
2017 Indian Journal of Science and Technology  
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

Using the abstraction network in complement to description logics for quality assurance in biomedical terminologies - a case study in SNOMED CT

Duo Wei, Olivier Bodenreider
2010 Studies in Health Technology and Informatics  
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

Formalising Design Patterns in Predicate Logic

Ian Bayley
2007 Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)  
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 [7] .  ... 
doi:10.1109/sefm.2007.22 dblp:conf/sefm/Bayley07 fatcat:vu5xmf4eirakrn673ahq3ckjau

Nominal Conceptualism and Logical Modelling of Agents' Conceptions

Farshad Badie
2021 Logiko-filosofskie študii  
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

Web Description Logic Rule Generation And Other Machine Learning Algorithms – A Comparative Study

Revathi S
2020 International Journal of Advanced Trends in Computer Science and Engineering  
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

Page 94 of Communications of the Association for Computing Machinery Vol. 4, Issue 2 [page]

1961 Communications of the Association for Computing Machinery  
) 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  ... 

Design Mechanism: A Design Methodology for the Construction of Urban Reality

Eirini Krasaki
2019 Philosophy Study  
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

Getting the foot out of the pelvis: modeling problems affecting use of SNOMED CT hierarchies in practical applications

Alan L Rector, Sam Brandt, Thomas Schneider
2011 JAMIA Journal of the American Medical Informatics Association  
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

Page 118 of Mathematics Teacher Vol. 46, Issue 2 [page]

1953 Mathematics Teacher  
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