Log in

Relevant bibliographies by topics / Semantical analysis

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Semantical analysis'

Author: Grafiati

Published: 28 June 2021

Last updated: 17 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Semantical analysis.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Semantical analysis"

1

Tennent, R. D. "Semantical analysis of specification logic." Information and Computation 85, no. 2 (1990): 135–62. http://dx.doi.org/10.1016/0890-5401(90)90045-j.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

TIOMKIN, MICHAEL, and MICHAEL KAMINSKI. "Semantical Analysis of Logic of Actions." Journal of Logic and Computation 5, no. 2 (1995): 203–12. http://dx.doi.org/10.1093/logcom/5.2.203.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ohearn, P. W., and R. D. Tennent. "Semantical Analysis of Specification Logic, 2." Information and Computation 107, no. 1 (1993): 25–57. http://dx.doi.org/10.1006/inco.1993.1060.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Ciuni, Roberto, and Massimiliano Carrara. "Semantical analysis of weak Kleene logics." Journal of Applied Non-Classical Logics 29, no. 1 (2019): 1–36. http://dx.doi.org/10.1080/11663081.2018.1547514.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Grubišić, Ani, Branko Žitko, and Slavomir Stankov. "Student model initialization using domain knowledge ontology representative subset." Journal of Technology and Science Education 10, no. 1 (2020): 60. http://dx.doi.org/10.3926/jotse.755.

Full text

Abstract:

In intelligent e-learning systems that adapt a learning and teaching process to student knowledge, it is important to adapt the system as quickly as possible. However, adaptation is not possible until the student model is initialized. In this paper, a new approach to student model initialization using domain knowledge representative subset is described. The approach defines which concepts from domain knowledge should be included in the initial test so the system can make conclusions about what students truly know about domain knowledge. This representative subset of domain knowledge is defined using non-semantic mathematical approach based on graph theory. The initial test, created over a domain knowledge representative subset, guarantees encompassing all concepts that are relevant to domain knowledge. A two-level case study is conducted on what would be the representative subset of one selected domain knowledge. It compares semantically selected domain knowledge representative subsets (semantical analysis was done by domain area experts) to a non-semantical, mathematically selected domain knowledge representative subset. The results of the case study show that problems of inequality of semantically selected domain knowledge representative subsets are easily overcome using the presented approach.

APA, Harvard, Vancouver, ISO, and other styles

6

Honsell, Furio, та Marina Lenisa. "Semantical analysis of perpetual strategies in λ-calculus". Theoretical Computer Science 212, № 1-2 (1999): 183–209. http://dx.doi.org/10.1016/s0304-3975(98)00140-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Szatkowski, Mirosław. "Semantical analysis of superrelevant predicate logics with quantification." Notre Dame Journal of Formal Logic 29, no. 3 (1988): 281–94. http://dx.doi.org/10.1305/ndjfl/1093637929.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Wansing, Heinrich, and Grigory K. Olkhovikov. "Inference as doxastic agency. Part II: Ramifications and refinements." Australasian Journal of Logic 14, no. 4 (2017): 408. http://dx.doi.org/10.26686/ajl.v14i4.3973.

Full text

Abstract:

Justification stit logic is a logic for reasoning about proving as a certain kind of activity, namely seeing to it that a proof is publicly available. It merges the semantical analysis of deliberatively seeing-to-it-that from stit theory (Belnap, Perloff, Xu 2001) and the semantics of the epistemic logic with justification from (Artemov and Nogina 2005). In this paper, after recalling its language and basic semantical definitions, various ramifications and refinements of justification stit logic are presented and discussed: imposing natural restrictions upon the class of models under consideration, making use of modalities that assert the existence of a proof, introducing a variant of justification stit logic based on a semantics introduced by M. Fitting, and adding variable-binding operators and extending the set of proof polynomials.

APA, Harvard, Vancouver, ISO, and other styles

9

Baumann, Ringo, Dov Gabbay, and Odinaldo Rodrigues. "Forgetting an Argument." Proceedings of the AAAI Conference on Artificial Intelligence 34, no. 03 (2020): 2750–57. http://dx.doi.org/10.1609/aaai.v34i03.5662.

Full text

Abstract:

The notion of forgetting, as considered in the famous paper by Lin and Reiter in 1994 has been extensively studied in classical logic and more recently, in non-monotonic formalisms like logic programming. In this paper, we convey the idea of forgetting to another major AI formalism, namely Dung-style argumentation frameworks. Our approach is axiomatic-driven and not limited to any specific semantics: we propose semantical and syntactical desiderata encoding different criteria for what forgetting an argument might mean; analyze how these criteria relate to each other; and check whether the criteria can be satisfied in general. The analysis is done for a number of widely used argumentation semantics. Our investigation shows that almost all desiderata are individually satisfiable. However, combinations of semantical and/or syntactical conditions reveal a much more interesting landscape. For instance, we found that the ad hoc approach to forgetting an argument, i.e., by the syntactical removal of the argument and all of its associated attacks, is too restrictive and only compatible with the two weakest semantical desiderata. Amongst the several interesting combinations identified, we showed that one satisfies a notion of minimal change and presented an algorithm that given an AF F and argument x, constructs a suitable AF G satisfying the conditions in the combination.

APA, Harvard, Vancouver, ISO, and other styles

10

Parsons, Terence. "II—Underlying States in the Semantical Analysis of English." Proceedings of the Aristotelian Society 88, no. 1 (1988): 13–30. http://dx.doi.org/10.1093/aristotelian/88.1.13.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Semantical analysis"

1

Schütte, Simon. "Designing Feelings into Products : Integrating Kansei Engineering Methodology in Product Development." Licentiate thesis, Linköping University, Linköping University, Machine Design, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-2658.

Full text

Abstract:

<p>Tendencies in product development of today make it likely that many future products will be functional equivalent and therefore hard to distinguish between for the customer. Customers will decide by highly subjective criteria which product to purchase. One task for product development in this context is to be able to capture the customer’s considerations and feelings of products and translate these emotional aspects into concrete product design.</p><p>Today a number of different methods, such as Quality Function Deployment (QFD), Semantical Environment Description (SMB), Conjoint Analysis and Kansei Engineering exist and are used in practical applications.</p><p>The purpose of this thesis is to understand and apply Kansei Engineering methodology and explore ways to integrate the methodology into an industrial product development process.</p><p>This was done by conducting a study on forklift trucks in different European countries and business areas and by exploring ways of integrating Kansei Engineering in product development processes.</p><p>The number of Kansei words collected was reduced based on the result of a pilot study using a combination of different tools. A computerized data collection method was used in combination with a modified VAS-scale in order to reduce the time for filling out the evaluation forms The results of the study in the visited Northern and Middle European companies make it evident that Kansei Engineering has to be adapted in several aspects to the circumstances in each situation. The data showed that there are differences in attitude towards reach trucks in the different European countries. These results were used in order to adapt the product requirements for each specific country. Starting at Cooper’s stage gate model Kansei Engineering was applied on a macro level, a micro level and for verifying purpose. Using QFD, Kansei Engineering helps to identify customer needs their importance and the technical responses as well as to conduct benchmarking and to connect the customer needs mathematically to the technical responses.</p><p>This study of Kansei Engineering revealed that there was no general model on the methodology available in English literature. Outgoing from a previous flowchart, a conceptual framework of Kansei Engineering was developed integrating the existing Kansei Engineering Types and future tools.</p><br>ISRN/Report code: LiU-Tek-Lic 2002:19

APA, Harvard, Vancouver, ISO, and other styles

2

Nikitkova, Jelena. "Semantics of English and Lithuanian number idioms: contrastive analysis." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2013. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2013~D_20130802_134815-91260.

Full text

Abstract:

The purpose of this paper is to explore the characteristic features and meaning of number idioms in the English and Lithuanian languages and determine similarities and differences in symbolic meaning conveyed by numbers in the two cultures. The research has been conducted adopting both quantitative and qualitative approaches, focusing on the main theoretical issues related to idioms and such universal and abstract phenomenon as "number" in the English and Lithuanian idioms, and searching for the relationships between number idioms in the two languages. In order to illustrate the main similarities and differences between two languages, 156 English and 212 Lithuanian idioms containing the cardinal and ordinal numbers from one to ten were subjected to the analysis. The contrastive, descriptive and statistic analysis methods were employed in the research. The results of the analysis showed that the numbers one (70 instances) and two (47 instances) are the most productive numbers in the English idioms; whereas, in the Lithuanian idioms besides the same numbers, one (99 instances) and two (35 instances), the number nine (39 instances) is common. The research demonstrated that numbers in the idioms of both languages communicate non-quantitative meaning more often than quantitative meaning. It was discovered that the choice of numbers in the idioms might be determined by logic and reality or reflect some cultural point of view. The analysis showed that the numbers one, three, six... [to full text]<br>Šio darbo tikslas – ištirti lietuviškų ir angliškų idiomų su skaičiais ypatumus ir reikšmes (vadovaujamasi anglų-amerikiečių tradicija terminas „idioma“ yra vartojamas vietoj lietuviško termino „frazeologizmas“); nustatyti panašumus ir skirtumus tarp skaičių simbolinių reikšmių dviejose kultūrose ir pamėginti juos paaiškinti. Tyrimui atlikti buvo naudojamasi kiekybine ir kokybine analizė, bei teorine medžiaga, susijusi su idiomų ir skaičių simbolinėmis rekšmėmis. Šiame darbe aptariami tokie teoriniai aspektai, kaip idiomos apibrėžimo problema, kriterijai naudojami atskirti idiomas nuo laisvųjų žodžių junginių, idiomų semantinė klasifikacija, ir idiomų ir kultūros ryšiai. Pagrindiniams dviejų kalbų idiomų panašumams ir skirtumams pagrįsti buvo surinktos 156 anglų ir 212 lietuvių kalbų idiomos. Analizės rezultatai parodė, kad skaičiai vienas (70 idiomos) ir du (47 idiomos) yra dažniausiai pasitaikaintys skaičiai anglų kalbos idiomose, tuo tarpu lietuvių kalbos idiomose apart tų pačių skaičių, vienas (99 idiomos) ir du (35 idiomos), yra paplytęs skaičius devyni (39 idiomos). Skaičių vienas is du dažnumas idiomose negali būti paaiškintas iš simbolinės pusės. Šių skaičių vartojimą daugiausia lemia logika ir realybė. Tačiau skaičiaus devyni dažnas vartojimas lietuviškose idiomose parodo šio skaičiaus glaudų ryšį su Lietuvos kultūra. Analizė atskleidė, kad skaičiai anglų ir lietuvių kalbų idiomose gali sukelti abiems tautoms panašias ir skirtingas asociacijas. Analizė parodė, kad... [toliau žr. visą tekstą]

APA, Harvard, Vancouver, ISO, and other styles

3

Malmqvist, Anita. "Sparsamkeit und Geiz, Grosszügigkeit und Verschwendung : ethische Konzepte im Spiegel der Sprache." Doctoral thesis, Umeå universitet, Moderna språk, 2000. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-61584.

Full text

Abstract:

The object of this study is to analyse the lexemes and phraseological units that constitute the semantic fields employed in naming four abstract domains, greed, thrift, generosity, and extravagance that make up the ethical concept <Attitude to Ownership> in German. On the assumption that ideas are accessible to us through the lexicalised items of a language, recent theories in the field of semantic analysis and conceptualisation were applied to the source material. In each domain key words were identified and their definitions in modern and historical dictionaries were analysed. Various dimensions of meaning, which proved to be inherent in the lexical items, emerged from this analysis. The oppositions a/o (action directed to others vs. to oneself), right/wrong (virtues vs. vices) and too much/ too little vs. the ideal mean were established as central. To achieve a more precise description of meaning tentative explications of cognitive levels were proposed. By means of these the underlying ideas, as they were reflected in the lexical units, could be described. The analysis showed greater variation and expressivity in words, idioms, and proverbs referring to the two vices compared to the virtues. Furthermore, a diachronic study produced evidence of semantic and conceptual changes. On the basis of such observations conclusions could be drawn about changes in the ethical system. The data derived from a contrastive corpus analysis of the German and Swedish key words showed numerous similarities as well as some conspicuous differences in the conceptualisation and valuation of attitudes pertaining to the four abstract domains. Moreover, the key words denoting the two virtues showed a clear domination in frequency, indicating that these are more central conceptual categories in today's society than the vices. An ongoing shift in meaning could be established for the key words naming the latter. Applying modern theories of metaphor and metonymy the experiential basis of meaning and thought was explored, showing that the structures forming the ethical concepts studied in this work are grounded in experiences of a physical and socio- cultural nature. The metaphorical concept ILLNESS emerged as a common source domain for the two vices, while the PATH- concept was shown to form the basis of metaphors expressing the o-virtue but not the a-virtue. Among the numerous métonymie concepts HAND proved to be a characteristic of all four domains.<br>digitalisering@umu

APA, Harvard, Vancouver, ISO, and other styles

4

Gao, Boyang. "Contributions to music semantic analysis and its acceleration techniques." Thesis, Ecully, Ecole centrale de Lyon, 2014. http://www.theses.fr/2014ECDL0044/document.

Full text

Abstract:

La production et la diffusion de musique numérisée ont explosé ces dernières années. Une telle quantité de données à traiter nécessite des méthodes efficaces et rapides pour l’analyse et la recherche automatique de musique. Cette thèse s’attache donc à proposer des contributions pour l’analyse sémantique de la musique, et en particulier pour la reconnaissance du genre musical et de l’émotion induite (ressentie par l’auditoire), à l’aide de descripteurs de bas-niveau sémantique mais également de niveau intermédiaire. En effet, le genre musical et l’émotion comptent parmi les concepts sémantiques les plus naturels perçus par les auditoires. Afin d’accéder aux propriétés sémantiques à partir des descripteurs bas-niveau, des modélisations basées sur des algorithmes de types K-means et GMM utilisant des BoW et Gaussian super vectors ont été envisagées pour générer des dictionnaires. Compte-tenu de la très importante quantité de données à traiter, l’efficacité temporelle ainsi que la précision de la reconnaissance sont des points critiques pour la modélisation des descripteurs de bas-niveau. Ainsi, notre première contribution concerne l’accélération des méthodes K-means, GMM et UMB-MAP, non seulement sur des machines indépendantes, mais également sur des clusters de machines. Afin d’atteindre une vitesse d’exécution la plus importante possible sur une machine unique, nous avons montré que les procédures d’apprentissage des dictionnaires peuvent être réécrites sous forme matricielle pouvant être accélérée efficacement grâce à des infrastructures de calcul parallèle hautement performantes telle que les multi-core CPU ou GPU. En particulier, en s’appuyant sur GPU et un paramétrage adapté, nous avons obtenu une accélération de facteur deux par rapport à une implémentation single thread. Concernant le problème lié au fait que les données ne peuvent pas être stockées dans la mémoire d’une seul ordinateur, nous avons montré que les procédures d’apprentissage des K-means et GMM pouvaient être divisées par un schéma Map-Reduce pouvant être exécuté sur des clusters Hadoop et Spark. En utilisant notre format matriciel sur ce type de clusters, une accélération de 5 à 10 fois a pu être obtenue par rapport aux librairies d’accélération de l’état de l’art. En complément des descripteurs audio bas-niveau, des descripteurs de niveau sémantique intermédiaire tels que l’harmonie de la musique sont également très importants puisqu’ils intègrent des informations d’un niveau d’abstraction supérieur à celles obtenues à partir de la simple forme d’onde. Ainsi, notre seconde contribution consiste en la modélisation de l’information liée aux notes détectées au sein du signal musical, en utilisant des connaissances sur les propriétés de la musique. Cette contribution s’appuie sur deux niveaux de connaissance musicale : le son des notes des instruments ainsi que les statistiques de co-occurrence et de transitions entre notes. Pour le premier niveau, un dictionnaire musical constitué de notes d’instruments a été élaboré à partir du synthétiseur Midi de Logic Pro 9. Basé sur ce dictionnaire, nous avons proposé un algorithme « Positive Constraint Matching Pursuit » (PCMP) pour réaliser la décomposition de la musique. Pour le second niveau, nous avons proposé une décomposition parcimonieuse intégrant les informations de statistiques d’occurrence des notes ainsi que les probabilités de co-occurrence pour guider la sélection des atomes du dictionnaire musical et pour construire un graphe à candidats multiples pour proposer des choix alternatifs lors des sélections successives. Pour la recherche du chemin global optimal de succession des notes, les probabilités de transitions entre notes ont également été incorporées. […]<br>Digitalized music production exploded in the past decade. Huge amount of data drives the development of effective and efficient methods for automatic music analysis and retrieval. This thesis focuses on performing semantic analysis of music, in particular mood and genre classification, with low level and mid level features since the mood and genre are among the most natural semantic concepts expressed by music perceivable by audiences. In order to delve semantics from low level features, feature modeling techniques like K-means and GMM based BoW and Gaussian super vector have to be applied. In this big data era, the time and accuracy efficiency becomes a main issue in the low level feature modeling. Our first contribution thus focuses on accelerating k-means, GMM and UBM-MAP frameworks, involving the acceleration on single machine and on cluster of workstations. To achieve the maximum speed on single machine, we show that dictionary learning procedures can elegantly be rewritten in matrix format that can be accelerated efficiently by high performance parallel computational infrastructures like multi-core CPU, GPU. In particular with GPU support and careful tuning, we have achieved two magnitudes speed up compared with single thread implementation. Regarding data set which cannot fit into the memory of individual computer, we show that the k-means and GMM training procedures can be divided into map-reduce pattern which can be executed on Hadoop and Spark cluster. Our matrix format version executes 5 to 10 times faster on Hadoop and Spark clusters than the state-of-the-art libraries. Beside signal level features, mid-level features like harmony of music, the most natural semantic given by the composer, are also important since it contains higher level of abstraction of meaning beyond physical oscillation. Our second contribution thus focuses on recovering note information from music signal with musical knowledge. This contribution relies on two levels of musical knowledge: instrument note sound and note co-occurrence/transition statistics. In the instrument note sound level, a note dictionary is firstly built i from Logic Pro 9. With the musical dictionary in hand, we propose a positive constraint matching pursuit (PCMP) algorithm to perform the decomposition. In the inter-note level, we propose a two stage sparse decomposition approach integrated with note statistical information. In frame level decomposition stage, note co-occurrence probabilities are embedded to guide atom selection and to build sparse multiple candidate graph providing backup choices for later selections. In the global optimal path searching stage, note transition probabilities are incorporated. Experiments on multiple data sets show that our proposed approaches outperform the state-of-the-art in terms of accuracy and recall for note recovery and music mood/genre classification

APA, Harvard, Vancouver, ISO, and other styles

5

Krull, Kirsten. "Lieber Gott, mach mich fromm ... : Zum Wort und Konzept “fromm” im Wandel der Zeit." Doctoral thesis, Umeå : Institutionen för moderna språk, Umeå univ, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-286.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Boiko, Irena. "Lietuvių kalbos semantinių požymių lentelės valdymo programinė įranga." Master's thesis, Lithuanian Academic Libraries Network (LABT), 2004. http://vddb.library.lt/obj/LT-eLABa-0001:E.02~2004~D_20040611_155606-78522.

Full text

Abstract:

The purpose of this paper covered execution of one stage of semantic analysis compiuterization by development of a software able to improve the guality of automated translation. Such software "Lexes", the browser and editor routine of Lithuanian words and related to such words semantic attributes.

APA, Harvard, Vancouver, ISO, and other styles

7

Steinmetz, Nadine. "Context-aware semantic analysis of video metadata." Phd thesis, Universität Potsdam, 2013. http://opus.kobv.de/ubp/volltexte/2014/7055/.

Full text

Abstract:

Im Vergleich zu einer stichwortbasierten Suche ermöglicht die semantische Suche ein präziseres und anspruchsvolleres Durchsuchen von (Web)-Dokumenten, weil durch die explizite Semantik Mehrdeutigkeiten von natürlicher Sprache vermieden und semantische Beziehungen in das Suchergebnis einbezogen werden können. Eine semantische, Entitäten-basierte Suche geht von einer Anfrage mit festgelegter Bedeutung aus und liefert nur Dokumente, die mit dieser Entität annotiert sind als Suchergebnis. Die wichtigste Voraussetzung für eine Entitäten-zentrierte Suche stellt die Annotation der Dokumente im Archiv mit Entitäten und Kategorien dar. Textuelle Informationen werden analysiert und mit den entsprechenden Entitäten und Kategorien versehen, um den Inhalt semantisch erschließen zu können. Eine manuelle Annotation erfordert Domänenwissen und ist sehr zeitaufwendig. Die semantische Annotation von Videodokumenten erfordert besondere Aufmerksamkeit, da inhaltsbasierte Metadaten von Videos aus verschiedenen Quellen stammen, verschiedene Eigenschaften und Zuverlässigkeiten besitzen und daher nicht wie Fließtext behandelt werden können. Die vorliegende Arbeit stellt einen semantischen Analyseprozess für Video-Metadaten vor. Die Eigenschaften der verschiedenen Metadatentypen werden analysiert und ein Konfidenzwert ermittelt. Dieser Wert spiegelt die Korrektheit und die wahrscheinliche Mehrdeutigkeit eines Metadatums wieder. Beginnend mit dem Metadatum mit dem höchsten Konfidenzwert wird der Analyseprozess innerhalb eines Kontexts in absteigender Reihenfolge des Konfidenzwerts durchgeführt. Die bereits analysierten Metadaten dienen als Referenzpunkt für die weiteren Analysen. So kann eine möglichst korrekte Analyse der heterogen strukturierten Daten eines Kontexts sichergestellt werden. Am Ende der Analyse eines Metadatums wird die für den Kontext relevanteste Entität aus einer Liste von Kandidaten identifiziert - das Metadatum wird disambiguiert. Hierfür wurden verschiedene Disambiguierungsalgorithmen entwickelt, die Beschreibungstexte und semantische Beziehungen der Entitätenkandidaten zum gegebenen Kontext in Betracht ziehen. Der Kontext für die Disambiguierung wird für jedes Metadatum anhand der Eigenschaften und Konfidenzwerte zusammengestellt. Der vorgestellte Analyseprozess ist an zwei Hypothesen angelehnt: Um die Analyseergebnisse verbessern zu können, sollten die Metadaten eines Kontexts in absteigender Reihenfolge ihres Konfidenzwertes verarbeitet werden und die Kontextgrenzen von Videometadaten sollten durch Segmentgrenzen definiert werden, um möglichst Kontexte mit kohärentem Inhalt zu erhalten. Durch ausführliche Evaluationen konnten die gestellten Hypothesen bestätigt werden. Der Analyseprozess wurden gegen mehrere State-of-the-Art Methoden verglichen und erzielt verbesserte Ergebnisse in Bezug auf Recall und Precision, besonders für Metadaten, die aus weniger zuverlässigen Quellen stammen. Der Analyseprozess ist Teil eines Videoanalyse-Frameworks und wurde bereits erfolgreich in verschiedenen Projekten eingesetzt.<br>The Semantic Web provides information contained in the World Wide Web as machine-readable facts. In comparison to a keyword-based inquiry, semantic search enables a more sophisticated exploration of web documents. By clarifying the meaning behind entities, search results are more precise and the semantics simultaneously enable an exploration of semantic relationships. However, unlike keyword searches, a semantic entity-focused search requires that web documents are annotated with semantic representations of common words and named entities. Manual semantic annotation of (web) documents is time-consuming; in response, automatic annotation services have emerged in recent years. These annotation services take continuous text as input, detect important key terms and named entities and annotate them with semantic entities contained in widely used semantic knowledge bases, such as Freebase or DBpedia. Metadata of video documents require special attention. Semantic analysis approaches for continuous text cannot be applied, because information of a context in video documents originates from multiple sources possessing different reliabilities and characteristics. This thesis presents a semantic analysis approach consisting of a context model and a disambiguation algorithm for video metadata. The context model takes into account the characteristics of video metadata and derives a confidence value for each metadata item. The confidence value represents the level of correctness and ambiguity of the textual information of the metadata item. The lower the ambiguity and the higher the prospective correctness, the higher the confidence value. The metadata items derived from the video metadata are analyzed in a specific order from high to low confidence level. Previously analyzed metadata are used as reference points in the context for subsequent disambiguation. The contextually most relevant entity is identified by means of descriptive texts and semantic relationships to the context. The context is created dynamically for each metadata item, taking into account the confidence value and other characteristics. The proposed semantic analysis follows two hypotheses: metadata items of a context should be processed in descendent order of their confidence value, and the metadata that pertains to a context should be limited by content-based segmentation boundaries. The evaluation results support the proposed hypotheses and show increased recall and precision for annotated entities, especially for metadata that originates from sources with low reliability. The algorithms have been evaluated against several state-of-the-art annotation approaches. The presented semantic analysis process is integrated into a video analysis framework and has been successfully applied in several projects for the purpose of semantic video exploration of videos.

APA, Harvard, Vancouver, ISO, and other styles

8

Weber, Gerald. "Semantics of form oriented analysis." [S.l. : s.n.], 2002. http://www.diss.fu-berlin.de/2003/72/index.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Sampath, Prahladavaradan. "Program analysis using game semantics." Thesis, Imperial College London, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.313304.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Greenland, William Edward. "Game semantics for region analysis." Thesis, University of Oxford, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.414135.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Semantical analysis"

1

Seshadri, Venkatadri. Concurrent Semantic Analysis. Computer Systems Research Institute, University of Toronto, 1988.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Gill, Harjeet Singh. Structural semantics. Bahri Publications, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Minker, Wolfgang. Stochastically-based semantic analysis. Springer Science+Business Media, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Minker, Wolfgang. Stochastically-based semantic analysis. Kluwer Academic, 1999.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Minker, Wolfgang, Alex Waibel, and Joseph Mariani. Stochastically-Based Semantic Analysis. Springer US, 1999. http://dx.doi.org/10.1007/978-1-4615-5255-0.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Discourse semantics. B. Blackwell, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Goddard, Cliff. Semantic analysis: A practical introduction. 2nd ed. Oxford University Press, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Semantic analysis: A practical introduction. Oxford University Press, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Goswami, Bijoya. The metaphor, a semantic analysis. Sanskrit Pustak Bhandar, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Noretsky, Martin R., (Ed.), ed. Analysing Syntax and Semantics. Clerc Books/Gallaudet University Press, 1989.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Semantical analysis"

1

Tennent, R. D. "Semantical analysis of specification logic." In Logics of Programs. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15648-8_28.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Tennent, Robert D. "Semantical Analysis of Specification Logic." In Algol-like Languages. Birkhäuser Boston, 1997. http://dx.doi.org/10.1007/978-1-4757-3851-3_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Pientka, Brigitte, and Ulrich Schöpp. "Semantical Analysis of Contextual Types." In Lecture Notes in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-45231-5_26.

Full text

Abstract:

AbstractWe describe a category-theoretic semantics for a simply typed variant of Cocon, a contextual modal type theory where the box modality mediates between the weak function space that is used to represent higher-order abstract syntax (HOAS) trees and the strong function space that describes (recursive) computations about them. What makes Cocon different from standard type theories is the presence of first-class contexts and contextual objects to describe syntax trees that are closed with respect to a given context of assumptions. Following M. Hofmann’s work, we use a presheaf model to characterise HOAS trees. Surprisingly, this model already provides the necessary structure to also model Cocon. In particular, we can capture the contextual objects of Cocon using a comonad $$\flat $$ ♭ that restricts presheaves to their closed elements. This gives a simple semantic characterisation of the invariants of contextual types (e.g. substitution invariance) and identifies Cocon as a type-theoretic syntax of presheaf models. We express our category-theoretic constructions by using a modal internal type theory that is implemented in Agda-Flat.

APA, Harvard, Vancouver, ISO, and other styles

4

Ghica, Dan R. "Semantical Analysis of Specification Logic, 3." In Programming Languages and Systems. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/978-3-540-24725-8_19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

O’Hearn, Peter W., and Robert D. Tennent. "Semantical Analysis of Specification Logic, 2." In Algol-like Languages. Birkhäuser Boston, 1997. http://dx.doi.org/10.1007/978-1-4757-3851-3_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Feng, Jun, Qinghan Yu, and Yirui Wu. "Time-Varying Water Quality Analysis with Semantical Mining Technology." In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-48513-9_29.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Petrillo, Fabio, Philippe Merle, Francis Palma, Naouel Moha, and Yann-Gaël Guéhéneuc. "A Lexical and Semantical Analysis on REST Cloud Computing APIs." In Cloud Computing and Service Science. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-94959-8_16.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Abedjan, Ziawasch, and Felix Naumann. "Synonym Analysis for Predicate Expansion." In The Semantic Web: Semantics and Big Data. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38288-8_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Nipkow, Tobias, and Gerwin Klein. "Program Analysis." In Concrete Semantics. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10542-0_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Müller, Francis. "Analysis." In Design Ethnography. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-60396-0_6.

Full text

Abstract:

AbstractDrawing on sociological Grounded Theory and ethnographic semantics, this chapter argues that analysis is a genuinely creative practice. Analysis entails not simply classifying the data found or produced in the field in accordance with everyday, common-sense knowledge but rather looking for aesthetic and semantic clues in it. It is also not a fixed program, but rather a hermeneutic and explorative search for new connections and patterns of meaning. This is demonstrated through examples of various data materials, such as transcripts of interviews, observation protocols, photographs, video, and material culture.

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Semantical analysis"

1

Richenhagen, Johannes, Bernhard Rumpe, Axel Schloßer, Christoph Schulze, Kevin Thissen, and Michael von Wenckstern. "Test-driven semantical similarity analysis for software product line extraction." In SPLC '16: The 20th International Systems and Software Product Line Conference. ACM, 2016. http://dx.doi.org/10.1145/2934466.2934483.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Moghadasi, Mahdi Naser, Zohreh Safari, and Yu Zhuang. "A Sentimental and Semantical Analysis on Facebook Comments to Detect Latent Patterns." In 2020 IEEE International Conference on Big Data (Big Data). IEEE, 2020. http://dx.doi.org/10.1109/bigdata50022.2020.9378425.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Baskakova, Anna. "The studying of Russian phraseological units and paroemias in English speaking audience." In 6th International e-Conference on Studies in Humanities and Social Sciences. Center for Open Access in Science, Belgrade, 2020. http://dx.doi.org/10.32591/coas.e-conf.06.13153b.

Full text

Abstract:

A working mechanism during the comparative analysis of phraseological units and paroemias (proverbs and aphorisms) at the classes of Russian as foreign language with English speaking learners is presented in the article. While working in the audience, the attention is being paid to the comparative analysis of phraseological units and paroemias in Russian and foreign students’ native language from a semantical point of view. Such concepts and ideas as family, homeland, work / service / profession, studying, friendship, human flaws and virtues, represented in the proverbs and paroemias, are being analyzed. The similarities and differences in semantic field of phraseological units and paroemias of different cultures’ speakers are found. A parallel attitude to the main categories as family, home and friendship among Russian and English speakers is shown up. During a comparative analysis, it is being observed that in definite cases similar meanings can be expressed by different lexis typical for the concrete nation. Studying of this topic promotes the dialogue of cultures.

APA, Harvard, Vancouver, ISO, and other styles

4

Baskakova, Anna. "The studying of Russian phraseological units and paroemias in English speaking audience." In 6th International e-Conference on Studies in Humanities and Social Sciences. Center for Open Access in Science, Belgrade, 2020. http://dx.doi.org/10.32591/coas.e-conf.06.13153b.

Full text

Abstract:

A working mechanism during the comparative analysis of phraseological units and paroemias (proverbs and aphorisms) at the classes of Russian as foreign language with English speaking learners is presented in the article. While working in the audience, the attention is being paid to the comparative analysis of phraseological units and paroemias in Russian and foreign students’ native language from a semantical point of view. Such concepts and ideas as family, homeland, work / service / profession, studying, friendship, human flaws and virtues, represented in the proverbs and paroemias, are being analyzed. The similarities and differences in semantic field of phraseological units and paroemias of different cultures’ speakers are found. A parallel attitude to the main categories as family, home and friendship among Russian and English speakers is shown up. During a comparative analysis, it is being observed that in definite cases similar meanings can be expressed by different lexis typical for the concrete nation. Studying of this topic promotes the dialogue of cultures.

APA, Harvard, Vancouver, ISO, and other styles

5

Rahman, Md Mahmudur, and Prabir Bhattacharya. "Image retrieval with automatic query expansion based on local analysis in a semantical concept feature space." In Proceeding of the ACM International Conference. ACM Press, 2009. http://dx.doi.org/10.1145/1646396.1646422.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Kouvaros, Panagiotis, and Alessio Lomuscio. "Verifying Fault-tolerance in Parameterised Multi-Agent Systems." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/41.

Full text

Abstract:

We develop a technique to evaluate the fault-tolerance of a multi-agent system whose number of agents is unknown at design time. We present a method for injecting a variety of non-ideal behaviours, or faults, studied in the safety-analysis literature into the abstract agent templates that are used to generate an unbounded family of multi-agent systems with different sizes. We define the parameterised fault-tolerance problem as the decision problem of establishing whether any concrete system, in which the ratio of faulty versus non-faulty agents is under a given threshold, satisfies a given temporal-epistemic specification. We put forward a sound and complete technique for solving the problem for the semantical set-up considered. We present an implementation and a case study identifying the threshold under which the alpha swarm aggregation algorithm is robust to faults against its temporal-epistemic specifications.

APA, Harvard, Vancouver, ISO, and other styles

7

Sibarani, Elisa Margareth, Simon Scerri, Camilo Morales, Sören Auer, and Diego Collarana. "Ontology-guided Job Market Demand Analysis." In Semantics2017: Semantics 2017 - 13th International Conference on Semantic Systems. ACM, 2017. http://dx.doi.org/10.1145/3132218.3132228.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Ekaputra, Fajar J., Marta Sabou, Estefanía Serral, and Stefan Biffl. "Knowledge Change Management and Analysis during the Engineering of Cyber Physical Production Systems." In SEMANTiCS 2016: 12th International Conference on Semantic Systems. ACM, 2016. http://dx.doi.org/10.1145/2993318.2993325.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Grover, Ishaan, Hae Won Park, and Cynthia Breazeal. "A Semantics-based Model for Predicting Children's Vocabulary." In Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/188.

Full text

Abstract:

Intelligent tutoring systems (ITS) provide educational benefits through one-on-one tutoring by assessing children's existing knowledge and providing tailored educational content. In the domain of language acquisition, several studies have shown that children often learn new words by forming semantic relationships with words they already know. In this paper, we present a model that uses word semantics (semantics-based model) to make inferences about a child's vocabulary from partial information about their existing vocabulary knowledge. We show that the proposed semantics-based model outperforms models that do not use word semantics (semantics-free models) on average. A subject-level analysis of results reveals that different models perform well for different children, thus motivating the need to combine predictions. To this end, we use two methods to combine predictions from semantics-based and semantics-free models and show that these methods yield better predictions of a child's vocabulary knowledge. Our results motivate the use of semantics-based models to assess children's vocabulary knowledge and build ITS that maximizes children's semantic understanding of words.

APA, Harvard, Vancouver, ISO, and other styles

10

Kang, SungKu, Lalit Patil, Arvind Rangarajan, et al. "Extraction of Manufacturing Rules From Unstructured Text Using a Semantic Framework." In ASME 2015 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference. American Society of Mechanical Engineers, 2015. http://dx.doi.org/10.1115/detc2015-47556.

Full text

Abstract:

Formal ontology and rule-based approaches founded on semantic technologies have been proposed as powerful mechanisms to enable early manufacturability feedback. A fundamental unresolved problem in this context is that all manufacturing knowledge is encoded in unstructured text and there are no reliable methods to automatically convert it to formal ontologies and rules. It is impractical for engineers to write accurate domain rules in a structured semantic languages such as Web Ontology Language (OWL) or Semantic Application Design Language (SADL). Previous efforts in manufacturing research that have targeted extraction of OWL ontologies from text have focused on basic concept names and hierarchies. This paper presents a semantics-based framework for acquiring more complex manufacturing knowledge, primarily rules, in a semantically-usable form from unstructured English text such as those written in manufacturing handbooks. The approach starts with existing domain knowledge in the form of OWL ontologies and applies natural language processing techniques to extract dependencies between different words in the text that contains the rule. Domain-specific triples capturing each rule are then extracted from each dependency graph. Finally, new computer-interpretable rules are composed from the triples. The feasibility of the framework has been evaluated by automatically and accurately generating rules for manufacturability from a manufacturing handbook. The paper also documents the cases that result in ambiguous results. Analysis of the results shows that the proposed framework can be extended to extract domain ontologies which forms part of the ongoing work that also focuses on addressing challenges to automate different steps and improve the reliability of the system.

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Semantical analysis"

1

Maddox III, William H. Incremental Static Semantic Analysis. Defense Technical Information Center, 1997. http://dx.doi.org/10.21236/ada604432.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Cai, Jiazhen. A Language for Semantic Analysis. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada453254.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lee, Hyun-Jung, HyunJu Shin, Kyu-Hye Lee, Seulah Lee, and Ye-Jin In. Semantic Network Analysis of Gorpcore. Iowa State University. Library, 2019. http://dx.doi.org/10.31274/itaa.8218.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Saha, Bratin, Valery Trifonov, and Zhong Shao. Fully Reflexive Intensional Type Analysis in Type Erasure Semantics. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada436474.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Woodbridge, Diane, and Randolph Brost. Geospatial-Temporal Semantic Graph Evaluation for Induced Seismicity Analysis. Office of Scientific and Technical Information (OSTI), 2016. http://dx.doi.org/10.2172/1562818.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Hendrickson, Bruce Alan. Algorithms and architectures for high performance analysis of semantic graphs. Office of Scientific and Technical Information (OSTI), 2005. http://dx.doi.org/10.2172/974408.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Sparks, Randall, and Rex Hartson. The Software Therapist: Usability Problem Diagnosis Through Latent Semantic Analysis. Defense Technical Information Center, 2006. http://dx.doi.org/10.21236/ada458771.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lochbaum, Karen E., and Lynn A. Streeter. Carnegie Hall: An Intelligent Tutor for Command-Reasoning Practice Based on Latent Semantic Analysis. Defense Technical Information Center, 2002. http://dx.doi.org/10.21236/ada406129.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

An, Hyosun, and Minjung Park. Analysis of user perception and fashion image on a stripe pattern for men's shirts by using semantic network analysis. Iowa State University, Digital Repository, 2017. http://dx.doi.org/10.31274/itaa_proceedings-180814-416.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Chornodon, Myroslava. FEAUTURES OF GENDER IN MODERN MASS MEDIA. Ivan Franko National University of Lviv, 2021. http://dx.doi.org/10.30970/vjo.2021.49.11064.

Full text

Abstract:

The article clarifies of gender identity stereotypes in modern media. The main gender stereotypes covered in modern mass media are analyzed and refuted. The model of gender relations in the media is reflected mainly in the stereotypical images of men and woman. The features of the use of gender concepts in modern periodicals for women and men were determined. The most frequently used derivatives of these macroconcepts were identified and analyzed in detail. It has been found that publications for women and men are full of various gender concepts that are used in different contexts. Ingeneral, theanalysisofthe concept-maximums and concept-minimum gender and their characteristics is carried out in the context of gender stereotypes that have been forme dand function in the society, system atizing the a ctual presentations. The study of the gender concept is relevant because it reveals new trends and features of modern gender images. Taking into account the special features of gender-labeled periodicals in general and the practical absence of comprehensive scientific studies of the gender concept in particular, there is a need to supplement Ukrainian science with this topic. Gender psychology, which is served by methods of various sciences, primarily sociological, pedagogical, linguistic, psychological, socio-psychological. Let us pay attention to linguistic and psycholinguistic methods in gender studies. Linguistic methods complement intelligence research tasks, associated with speech, word and text. Psycholinguistic methods used in gender psychology (semantic differential, semantic integral, semantic analysis of words and texts), aimed at studying speech messages, specific mechanisms of origin and perception, functions of speech activity in society, studying the relationship between speech messages and gender properties participants in the communication, to analyze the linguistic development in connection with the general development of the individual. Nowhere in gender practice there is the whole arsenal of psychological methods that allow you to explore psychological peculiarities of a person like observation, experiments, questionnaires, interviews, testing, modeling, etc. The methods of psychological self-diagnostics include: the gender aspect of the own socio-psychological portrait, a gender biography as a variant of the biographical method, aimed at the reconstruction of individual social experience. In the process of writing a gender autobiography, a person can understand the characteristics of his gender identity, as well as ways and means of their formation. Socio-psychological methods of studying gender include the study of socially constructed women’s and men’s roles, relationships and identities, sexual characteristics, psychological characteristics, etc. The use of gender indicators and gender approaches as a means of socio-psychological and sociological analysis broadens the subject boundaries of these disciplines and makes them the subject of study within these disciplines. And also, in the article a combination of concrete-historical, structural-typological, system-functional methods is implemented. Descriptive and comparative methods, method of typology, modeling are used. Also used is a method of content analysis for the study of gender content of modern gender-stamped journals. It was he who allowed quantitatively to identify and explore the features of the gender concept in the pages of periodicals for women and men. A combination of historical, structural-typological, system-functional methods is also implemented in the article. Descriptive and comparative methods, method of typology, modeling are used. A method of content analysis for the study of gender content of modern gender-labeled journals is also used. It allowed to identify and explore the features of the gender concept quantitatively in the periodicals for women and men. The conceptual perception and interpretation of the gender concept «woman», which is highlighted in the modern gender-labeled press in Ukraine, requires the elaboration of the polyfunctionality of gender interpretations, the comprehension of the metaphorical perception of this image and its role and purpose in society. A gendered approach to researching the gender content of contemporary periodicals for women and men. Conceptual analysis of contemporary gender-stamped publications within the gender conceptual sphere allows to identify and correlate the meta-gender and gender concepts that appear in society.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!