Languages
Pages
Legal
Explore all categories to find your favorite topic
Global identity veri�cation provider On�do today announced that it’s raised $50 million in funding led by Softbank Investment and Salesforce Ventures with participation…
Scale-adaptive simulation of wind turbines and its verification with respect to wind tunnel measurements Jiangang Wang Chengyu Wang Filippo Campagnolo and Carlo L Bottasso…
Paraconsistent Stable Semantics for Extended Disjunctive Programs CHIAKI SAKAMA Advanced Software Technology and Mechatronics Research Institute of Kyoto 17 Chudoji Minami-machi…
EMNLP 2019 Fact Extraction and VERification Proceedings of the Second Workshop November 3 2019 Hong Kong We thank our sponsor Amazon for their generous support c©2019 The…
LAB OF SOFTWARE ARCHITECTURES AND INFORMATION SYSTEMS FACULTY OF INFORMATICS MASARYK UNIVERSITY SEMANTICS-DRIVEN MIDDLEWARE LAYER FOR BUILDING OPERATION ANALYSIS IN LARGE-SCALE…
LAB OF SOFTWARE ARCHITECTURES AND INFORMATION SYSTEMS FACULTY OF INFORMATICS MASARYK UNIVERSITY SEMANTICS-DRIVEN MIDDLEWARE LAYER FOR BUILDING OPERATION ANALYSIS IN LARGE-SCALE…
Formal Techniques for Software Engineering: Introduction and Preliminaries Rocco De Nicola IMT Institute for Advanced Studies, Lucca [email protected] April 2013…
META-METADATA: AN INFORMATION SEMANTICS LANGUAGE AND SOFTWARE ARCHITECTURE FOR COLLECTION VISUALIZATION APPLICATIONS A Thesis by ABHINAV MATHUR Submitted to the Office of…
1. Media REVEALr: A social multimedia monitoring and intelligence system for Web multimedia verification Katerina Andreadou1, Symeon Papadopoulos1, Lazaros Apostolidis1,…
1.TRIOO Sergio Fern´ndez, a Diego Berrueta,Miguel Garc´ıaRodr´ıguez, Jose E.TRIOO LabraKeeping the Semantics of Data Safe and SoundMotivation into Object-Oriented Software…
Slide 1 CS 240: Data Structures Tuesday, June 5 th Programming Semantics, Software Life Cycle Slide 2 Programming Structure To solve a programming problem: To solve a programming…
T.J.L. Wolterink Operational Semantics Applied to Model Driven Engineering Thesis for the degree of Master Of Science (Computer Science, Track Software Engineering) Supervisors…
Software Requirements Specification for Semantics-based PublishSubscribe System for Self-Configuration of Sensor Networks Services Version 10 Prepared by Mukaddim Pathan…
1. Media REVEALr: A social multimedia monitoring and intelligence system for Web multimedia verification Katerina Andreadou1, Symeon Papadopoulos1, Lazaros Apostolidis1,…
Semantics 1: Lexical Semantics Ling400 What is semantics? Semantics is the study of the linguistic meaning of morphemes, words, phrases, sentences. Dictionary definitions…
Lexical SemanticsLexical Semantics & Computational Semantics Lexical Semantics Semantics is the study of meanings in language. It can be applied to entire texts or to
Seman&c Analysis in Language Technology http://stp.lingfil.uu.se/~santinim/sais/2016/sais_2016.htm Semantics and Computational Semantics Marina…
Slide 1 cs205: engineering software university of virginia fall 2006 Semantics and Specifying Procedures David Evans www.cs.virginia.edu/cs205 Slide 2 2 cs205: engineering…
AADL for Cyber-Physical Systems: Semantics and beyond, validate what's next Jérôme Hugues, ISAE/DMIA [email protected] Outline • Introduction • Quick overview…
The International Arab Conference on Information Technology ACIT’2013 K Semantics for Dynamic Software Architectures Sahar SMAALI , Aicha CHOUTRI , Faiza BELALA Lire Laboratory,…