Relevant bibliographies by topics / Semantic Nets / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Semantic Nets.

Dissertations / Theses on the topic 'Semantic Nets'

Author: Grafiati
Published: 3 June 2025
Last updated: 31 July 2025

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Semantic Nets.'

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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Menart, Christopher J. Menart. "Global-Context Refinement for Semantic Image Segmentation." The Ohio State University, 2018. http://rave.ohiolink.edu/etdc/view?acc_num=osu1523462175806808.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Akram, Mohammad Salman. "Managing Changes to Service Oriented Enterprises." Thesis, Virginia Tech, 2005. http://hdl.handle.net/10919/33453.

Full text
Abstract:
In this thesis, we present a framework for managing changes in service oriented enterprises (SOEs). A service oriented enterprise outsources and composes its functionality from third-party Web service providers. We focus on changes initiated or triggered by these member Web services. We present a taxonomy of changes that occur in service oriented enterprises. We use a combination of several types of Petri nets to model the triggering changes and ensuing reactive changes. The techniques presented in our thesis are implemented in WebBIS, a prototype for composing and managing e-business Web
APA, Harvard, Vancouver, ISO, and other styles
3

Mahmood, Imran. "A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”." Doctoral thesis, KTH, Programvaruteknik och Datorsystem, SCS, 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-116678.

Full text
Abstract:
The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. It however is confronted by a series of research challenges when it comes to actually practice this methodology. One of such important issue is Composability verification. In modeling and simulation (M&S), composability is the capability to select and assemble components in various combin
APA, Harvard, Vancouver, ISO, and other styles
4

Muller, Daniel Nehme. "Reconhecimento semântico através de redes neurais artificiais." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1996. http://hdl.handle.net/10183/23955.

Full text
Abstract:
Um dos grandes desafios atuais da computação e ultrapassar o abismo existente entre o homem e a maquina. Para tanto, o desafio passa a ser a formalização de estados mentais e sua modelagem computacional. Isso e necessário, uma vez que o homem somente conseguira comunicar-se com uma maquina quando esta puder dar e receber informações sem que o homem precise aprender uma forma especial de comunicação. É necessário, portanto, que a maquina aprenda a comunicar-se como o homem. Neste sentido, o estudo da linguagem torna-se uma porta aberta para criar uma computação que se adapte ao homem e, ao mesm
APA, Harvard, Vancouver, ISO, and other styles
5

Palazzo, Luiz Antonio Moro. "Representação de conhecimento : programação em lógica e o modelo das hiperredes." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 1991. http://hdl.handle.net/10183/24180.

Full text
Abstract:
Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de conhecimento de expressividade virtualmente universal. Resta entretanto solucionar ou pelo menos amenizar as conseqüências do problema do controle, que limitam o seu emprego a aplicações de pequeno a médio porte. Investigações nesse sentido [BOW 85] [MON 88] indicam que a chave para superar a explosão inferencial passa obrigatoriamente pela estruturação do conhecimento, de modo a p
APA, Harvard, Vancouver, ISO, and other styles
6

Mazza, Damiano. "Interaction nets : semantics and concurrent extensions." Aix-Marseille 2, 2006. http://theses.univ-amu.fr.lama.univ-amu.fr/2006AIX22069.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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
8

Hayman, Jonathan Mark. "Petri net semantics." Thesis, University of Cambridge, 2010. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.608768.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Evensen, Øyvind Arne. "Semantic Relations in Yahoo! News Search." Thesis, Norwegian University of Science and Technology, Department of Computer and Information Science, 2007. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-8807.

Full text
Abstract:
<p>In this thesis we propose a novel approach were 3 days of raw Yahoo! News search query logs are analyzed to find semantic relations among queries. The analysis is based on two independent contributions. The first use session data extracted from the query logs. By finding the term best describing each session, we get a vocabulary of queries related to that term. Sessions with similar terms are merged to create larger groups of queries with one common term or phrase. The second contribution is the use of temporal correlation to give a measure of frequency variation similarity. Queries that sh
APA, Harvard, Vancouver, ISO, and other styles
10

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
11

Cheung, Kai-man Felix, and 張繼文. "Efficient algorithms for semantic net construction and maintenance." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2002. http://hub.hku.hk/bib/B31227259.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Wang, Weigang. "Semantic net based hypertext for authoring and reuse." Thesis, University of Liverpool, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.260341.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Buchholz, Peter, and Igor V. Tarasyuk. "A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions." Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-100383.

Full text
Abstract:
This paper presents a class of Stochastic Petri Nets with concurrent transition firings. It is assumed that transitions occur in steps and that for every step each enabled transition decides probabilistically whether it wants to participate in the step or not. Among the transitions which what to participate in a step, a maximal number is chosen to perform the firing step. The observable behavior is defined and equivalence relations are introduced. The equivalence relations extend the well-known trace and bisimulation equivalences for systems with step semantics to Stochastik Petri Nets with co
APA, Harvard, Vancouver, ISO, and other styles
14

Buchholz, Peter, and Igor V. Tarasyuk. "A Class of Stochastic Petri Nets with Step Semantics and Related Equivalence Notions." Technische Universität Dresden, 2000. https://tud.qucosa.de/id/qucosa%3A26298.

Full text
Abstract:
This paper presents a class of Stochastic Petri Nets with concurrent transition firings. It is assumed that transitions occur in steps and that for every step each enabled transition decides probabilistically whether it wants to participate in the step or not. Among the transitions which what to participate in a step, a maximal number is chosen to perform the firing step. The observable behavior is defined and equivalence relations are introduced. The equivalence relations extend the well-known trace and bisimulation equivalences for systems with step semantics to Stochastik Petri Nets with co
APA, Harvard, Vancouver, ISO, and other styles
15

PENA, RAFAEL ANTONIO PINTO. "SEMANTIC SUPPORT FOR THE PUBLICATION OF NEWS CONTENT ON THE WEB." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2012. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=20235@1.

Full text
Abstract:
O consumo de conteúdo jornalístico na Web aumenta a cada dia. No entanto, boa parte desse conteúdo ainda é produzido segundo paradigmas da mídia impressa. Paralelamente a isto, a Web Semântica ou Web 3.0, adiciona uma camada de inteligência à Web, onde computadores são capazes de extrair significados dos conteúdos acessados na Web, e consequentemente, processá-los. Neste trabalho foi definido e testado um modelo de publicação de conteúdo jornalístico apoiado pela Web Semântica. Foi desenvolvida uma ferramenta de apoio para produtores de conteúdo, com o objetivo de melhorar o processo de constr
APA, Harvard, Vancouver, ISO, and other styles
16

Wynn, Moe Thandar. "Semantics, verification, and implementation of workflows with cancellation regions and OR-joins." Thesis, Queensland University of Technology, 2006. https://eprints.qut.edu.au/16324/1/Moe_Wynn_Thesis.pdf.

Full text
Abstract:
Workflow systems aim to provide automated support for the conduct of certain business processes. Workflow systems are driven by workflow specifications which among others, capture the execution interdependencies between various activities. These interdependencies are modelled by means of different control flow constructors, e.g., sequence, choice, parallelism and synchronisation. It has been shown in the research on workflow patterns that the support for and the interpretation of various control flow constructs varies substantially across workflow systems. Two of the most problematic patterns
APA, Harvard, Vancouver, ISO, and other styles
17

Wynn, Moe Thandar. "Semantics, verification, and implementation of workflows with cancellation regions and OR-joins." Queensland University of Technology, 2006. http://eprints.qut.edu.au/16324/.

Full text
Abstract:
Workflow systems aim to provide automated support for the conduct of certain business processes. Workflow systems are driven by workflow specifications which among others, capture the execution interdependencies between various activities. These interdependencies are modelled by means of different control flow constructors, e.g., sequence, choice, parallelism and synchronisation. It has been shown in the research on workflow patterns that the support for and the interpretation of various control flow constructs varies substantially across workflow systems. Two of the most problematic patterns
APA, Harvard, Vancouver, ISO, and other styles
18

Green, Daniel M. "Net-centric information sharing supporting the 21st century maritime strategy." Thesis, Monterey, Calif. : Naval Postgraduate School, 2008. http://edocs.nps.edu/npspubs/scholarly/theses/2008/Sept/08Sep%5FGreen.pdf.

Full text
Abstract:
Thesis (M.S. in Systems Engineering Management)--Naval Postgraduate School, September 2008.<br>Thesis Advisor(s): Osmundson, John S. "September 2008." Description based on title screen as viewed on November 3, 2008. Includes bibliographical references (p. 75-78). Also available in print.
APA, Harvard, Vancouver, ISO, and other styles
19

Kucuk, Dilek. "Exploiting Information Extraction Techniques For Automatic Semantic Annotation And Retrieval Of News Videos In Turkish." Phd thesis, METU, 2011. http://etd.lib.metu.edu.tr/upload/12613043/index.pdf.

Full text
Abstract:
Information extraction (IE) is known to be an effective technique for automatic semantic indexing of news texts. In this study, we propose a text-based fully automated system for the semantic annotation and retrieval of news videos in Turkish which exploits several IE techniques on the video texts. The IE techniques employed by the system include named entity recognition, automatic hyperlinking, person entity extraction with coreference resolution, and event extraction. The system utilizes the outputs of the components implementing these IE techniques as the semantic annotations for the underl
APA, Harvard, Vancouver, ISO, and other styles
20

Moyer, Eric David. "What Machines Understand about Personality Words after Reading the News." Wright State University / OhioLINK, 2014. http://rave.ohiolink.edu/etdc/view?acc_num=wright1404902086.

Full text
APA, Harvard, Vancouver, ISO, and other styles
21

Haig, Edward. "Aspects of Cohesive Reference in the Discourse Semantics of a News Text." 名古屋大学大学院国際言語文化研究科, 2014. http://hdl.handle.net/2237/19814.

Full text
APA, Harvard, Vancouver, ISO, and other styles
22

Solieri, Marco. "Sharing, Superposition and Epansion : Geometrical Studies on the semantics and Implementation of lambda-calculi and proof-nets." Thesis, Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCD015/document.

Full text
Abstract:
Des sémantiques élégantes et des implémentations efficaces des langages de programmation fonctionnels peuvent être décrits par les mêmes structures mathématiques, notamment dans la correspondance Curry-Howard, où le programmes, les types et l’exécution, coïncident aux preuves, formules et normalisation. Une telle flexibilité est aiguisé par l’approche déconstructive et géométrique de la logique linéaire (LL) et les réseaux de preuve, et de la réduction optimale et les graphes de partage (SG).En adaptent la géométrie de l’interaction de Girard, cette thèse propose une géométrie de l’interaction de
APA, Harvard, Vancouver, ISO, and other styles
23

Childers, Candace M. "Applying semantic web concepts to support Net-Centric Warfare using the Tactical Assessment Markup Language (TAML)." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2006. http://library.nps.navy.mil/uhtbin/hyperion/06Jun%5FChilders.pdf.

Full text
Abstract:
Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2006.<br>Thesis Advisor(s): Don Brutzman and Curt Blais. "June 2006." Includes bibliographical references (p. 255-262). Also available in print.
APA, Harvard, Vancouver, ISO, and other styles
24

Kralemann, Björn. "Umwelt, Kultur, Semantik - Realität : eine Theorie umwelt- und kulturabhängiger semantischer Strukturen der Realität auf der Basis der Modellierung kognitiver Prozesse durch neuronale Netze." [Leipzig] Leipziger Univ.-Verl, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2885027&prov=M&dokv̲ar=1&doke̲xt=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
25

Kralemann, Björn. "Umwelt, Kultur, Semantik - Realität eine Theorie umwelt- und kulturabhängiger semantischer Strukturen der Realität auf der Basis der Modellierung kognitiver Prozesse durch neuronale Netze." [Leipzig] Leipziger Univ.-Verl, 2005. http://deposit.d-nb.de/cgi-bin/dokserv?id=2885027&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Cortés, Luis Alejandro. "A Petri Net based Modeling and Verification Technique for Real-Time Embedded Systems." Licentiate thesis, Linköping University, Linköping University, ESLAB - Embedded Systems Laboratory, 2001. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-5751.

Full text
Abstract:
<p>Embedded systems are used in a wide spectrum of applications ranging from home appliances and mobile devices to medical equipment and vehicle controllers. They are typically characterized by their real-time behavior and many of them must fulfill strict requirements on reliability and correctness.</p><p>In this thesis, we concentrate on aspects related to modeling and formal verification of realtime embedded systems.</p><p>First, we define a formal model of computation for real-time embedded systems based on Petri nets. Our model can capture important features of such systems and allows thei
APA, Harvard, Vancouver, ISO, and other styles
27

Alan, Yilmaz. "Integrative Geschäftsprozessmodellierung : ein Ansatz auf der Basis von Ontologien und Petri-Netzen /." Saarbrücken : VDM, Verl. Dr. Müller, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2968232&prov=M&dok_var=1&dok_ext=htm.

Full text
APA, Harvard, Vancouver, ISO, and other styles
28

Bergsneider, Andres. "Biological Semantic Segmentation on CT Medical Images for Kidney Tumor Detection Using nnU-Net Framework." DigitalCommons@CalPoly, 2021. https://digitalcommons.calpoly.edu/theses/2298.

Full text
Abstract:
Healthcare systems are constantly challenged with bottlenecks due to human-reliant operations, such as analyzing medical images. High precision and repeatability is necessary when performing a diagnostics on patients with tumors. Throughout the years an increasing number of advancements have been made using various machine learning algorithms for the detection of tumors helping to fast track diagnosis and treatment decisions. “Black Box” systems such as the complex deep learning networks discussed in this paper rely heavily on hyperparameter optimization in order to obtain the most ideal perfo
APA, Harvard, Vancouver, ISO, and other styles
29

Tamarit, Muñoz Salvador. "Analysis Techniques for Concurrent Programming Languages." Doctoral thesis, Universitat Politècnica de València, 2013. http://hdl.handle.net/10251/31651.

Full text
Abstract:
Los lenguajes concurrentes est an cada d a m as presentes en nuestra sociedad, tanto en las nuevas tecnolog as como en los sistemas utilizados de manera cotidiana. M as a un, dada la actual distribuci on de los sistemas y su arquitectura interna, cabe esperar que este hecho siga siendo una realidad en los pr oximos a~nos. En este contexto, el desarrollo de herramientas de apoyo al desarrollo de programas concurrentes se vuelve esencial. Adem as, el comportamiento de los sistemas concurrentes es especialmente dif cil de analizar, por lo que cualquier herramienta que ayude en esta tarea,
APA, Harvard, Vancouver, ISO, and other styles
30

Neff, Kathryn Joan Eggers. "Neural net models of word representation : a connectionist approach to word meaning and lexical relations." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/832999.

Full text
Abstract:
This study examines the use of the neural net paradigm as a modeling tool to represent word meanings. The neural net paradigm, also called "connectionism" and "parallel distributed processing," provides a new metaphor and vocabulary for representing the structure of the mental lexicon. As a research method applied to the componential analysis of word meanings, the neural net approach has one primary advantage over the traditional introspective method: freedom from the investigator's personal biases.The connectionist method is illustrated in this thesis with an extensive examination of the mean
APA, Harvard, Vancouver, ISO, and other styles
31

Meedeniya, Dulani Apeksha. "Correct model-to-model transformation for formal verification." Thesis, University of St Andrews, 2013. http://hdl.handle.net/10023/3691.

Full text
Abstract:
Modern software systems have increasingly higher expectations on their reliability, in particular if the systems are critical and real-time. The development of these complex software systems requires strong modelling and analysis methods including quantitative modelling and formal verification. Unified Modelling Language (UML) is a widely used and intuitive graphical modelling language to design complex systems, while formal models provide a theoretical support to verify system design models. However, UML models are not sufficient to guarantee correct system designs and formal models, on the o
APA, Harvard, Vancouver, ISO, and other styles
32

Alves, Gisele [UNESP]. "O estudo dos compostos e fraseologismos criados por João Cabral de Melo Neto: proposta de estudo da coindexação semântica." Universidade Estadual Paulista (UNESP), 2013. http://hdl.handle.net/11449/103499.

Full text
Abstract:
Made available in DSpace on 2014-06-11T19:32:45Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-05-28Bitstream added on 2014-06-13T20:43:52Z : No. of bitstreams: 1 alves_g_dr_arafcl.pdf: 1057189 bytes, checksum: fb4420bfc4cf96c282535263209a0e74 (MD5)<br>As criações lexicais resultantes da tendência criativa e inovadora dos escritores e empregadas no contexto da poesia nem sempre contribuem de maneira significativa para o processo de ampliação e renovação do léxico de uma língua, pois apresentam características muito específicas em razão de seu potencial expressivo no interior do texto
APA, Harvard, Vancouver, ISO, and other styles
33

Kocabas, Fahri. "Knowledge Discovery In Microarray Data Of Bioinformatics." Phd thesis, METU, 2012. http://etd.lib.metu.edu.tr/upload/12615090/index.pdf.

Full text
Abstract:
This thesis analyzes major microarray repositories and presents a metadata framework both to address the current issues and to promote the main operations such as knowledge discovery, sharing, integration, and exchange. The proposed framework is demonstrated in a case study on real data and can be used for other high throughput repositories in biomedical domain. Not only the number of microarray experimentation increases, but also the size and complexity of the results rise in response to biomedical inquiries. And, experiment results are significant when examined in a batch and placed in a bio
APA, Harvard, Vancouver, ISO, and other styles
34

Mirzapour, Mehdi. "Modeling Preferences for Ambiguous Utterance Interpretations." Thesis, Montpellier, 2018. http://www.theses.fr/2018MONTS094/document.

Full text
Abstract:
Le problème de représentation automatique de la signification logique des énoncés ambigus en langage naturel a suscité l'intérêt des chercheurs dans le domaine de la sémantique computationnelle et de la logique. L'ambiguïté dans le langage naturel peut se manifester au niveau lexical / syntaxique / sémantique de la construction de sens, ou elle peut être causée par d'autres facteurs tels que la grammaticalité et le manque de contexte dans lequel la phrase est effectivement prononcée. L'approche traditionnelle Montagovienne ainsi que ses extensions modernes ont tenté de capturer ce phénomène en
APA, Harvard, Vancouver, ISO, and other styles
35

Junior, Jose Ferreira de Lucena. "Discurso erótico em três poetas modernistas: Manuel Bandeira, Carlos Drummond de Andrade e João Cabral de Melo Neto." Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/8/8139/tde-24082009-162714/.

Full text
Abstract:
Esta dissertação versa sobre a análise do discurso da poesia erótica de Manuel Bandeira, Carlos Drummond de Andrade e João Cabral de Melo Neto. A pesquisa usa a teoria desenvolvida pela escola francesa de análise do discurso mais especificamente a Semântica Global, termo proposto por Dominique Maingueneau para a integração de sete planos básicos de um discurso. A semiótica, o estilo e o conceito de ethos discursivo ajudam a complementar esta pesquisa cujo objetivo é mostrar como o erotismo é visto por cada autor.<br>Esta dissertação versa sobre a análise do discurso da poesia erótica de Manuel
APA, Harvard, Vancouver, ISO, and other styles
36

Ouayed, Abdul-Jabbar. "Manipulation of semantics and syntax : the use of emotive language in English and Arabic news reports and editorials with reference to translation." Thesis, University of Glasgow, 1990. http://theses.gla.ac.uk/1630/.

Full text
Abstract:
Since language is an important means of communication between human beings, it is held that writers or speakers can affect their readers or hearers by using certain linguistic means. The manipulation of semantics and syntax, namely the use of emotive language, is seen as an affective means resorted to by text producers to influence the people's acceptance of the truth. Emotional language aims ultimately at persuading the addressee to accept the facts as they are presented by writers. It is regarded as a necessary condition for persuasion to be successful. This is due to the persuasive force of
APA, Harvard, Vancouver, ISO, and other styles
37

Padoan, Tommaso. "Tableaux, automata and games for true concurrency properties." Doctoral thesis, Università degli studi di Padova, 2019. http://hdl.handle.net/11577/3425438.

Full text
Abstract:
In the formal verification of software systems, model-checking is one of the most studied and applied techniques. Systems represented by mathematical models are checked against properties expressed as logical formulae. When the subjects of the verification are concurrent and distributed systems, models and specification logics capable of faithfully capturing the concurrent features of computations, like causal dependency and independence between actions of the systems, can sometimes be convenient or even essential. In this thesis we study the foundations of the model-checking problem in a log
APA, Harvard, Vancouver, ISO, and other styles
38

Rocha, Leonardo Burlamaqui Lima da. "Ontologia de notícias: um modelo para classificação do conteúdo dos jornais on-line brasileiros, segundo a lógica da Web Semântica." Universidade do Estado do Rio de Janeiro, 2012. http://www.bdtd.uerj.br/tde_busca/arquivo.php?codArquivo=4756.

Full text
Abstract:
Este trabalho tem por objetivo propor um modelo de ontologia simples e generalista, capaz de descrever os conceitos mais básicos que permeiam o domínio de conhecimento dos jornais on-line brasileiros não especializados, fundamentado tanto na prática quanto conceitualmente, em conformidade com os princípios da Web Semântica. A partir de uma nova forma de classificação e organização do conteúdo, a ontologia proposta deve ter condições de atender as necessidades comuns de ambas as partes, jornal e leitor, que são, resumidamente, a busca e a recuperação das informações.<br>This work aims to propos
APA, Harvard, Vancouver, ISO, and other styles
39

Oliveira, Iracelane Ferreira da Silva. "Pressuposição: da sentença ao texto." Universidade Federal da Paraí­ba, 2014. http://tede.biblioteca.ufpb.br:8080/handle/tede/6462.

Full text
Abstract:
Made available in DSpace on 2015-05-14T12:43:14Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1068366 bytes, checksum: 77b198469317d4c179ff3c7a38f64a90 (MD5) Previous issue date: 2014-05-08<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>This work aims to present a dynamic analysis of presupposition in journalistic news, to point how the presupposed information is altered and how it contributes to the textual development. The study of presupposition is justified by the important discursive role that this linguistic phenomenon performs: it works as an element of cohesion an
APA, Harvard, Vancouver, ISO, and other styles
40

Giunchi, Massimiliano. "Reti neurali per la segmentazione di immagini mediche." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.

Find full text
Abstract:
A partire dagli anni '70, con la diffusione dei primi dispositivi per la tomografia assiale computerizzata (TAC), si è assistito ad un'evoluzione sempre più rapida delle modalità con cui si acquisiscono, si conservano e si analizzano le immagini per la diagnosi medica. L’elemento che ha segnato il maggior cambiamento è stato il passaggio da informazioni analogiche, statiche e prettamente bidimensionali come quelle che derivano dalle immagini radiografiche (raggi X), ad informazioni digitali, eventualmente dinamiche e contenenti informazioni tridimensionali. Tutto ciò è stato reso possibile at
APA, Harvard, Vancouver, ISO, and other styles
41

Off, Thomas. "Durchgängige Verfolgbarkeit im Vorfeld der Softwareentwicklung von E-Government-Anwendungen : ein ontologiebasierter und modellgetriebener Ansatz am Beispiel von Bürgerdiensten." Phd thesis, Universität Potsdam, 2011. http://opus.kobv.de/ubp/volltexte/2012/5747/.

Full text
Abstract:
Die öffentliche Verwaltung setzt seit mehreren Jahren E-Government-Anwendungssysteme ein, um ihre Verwaltungsprozesse intensiver mit moderner Informationstechnik zu unterstützen. Da die öffentliche Verwaltung in ihrem Handeln in besonderem Maße an Recht und Gesetz gebunden ist verstärkt und verbreitet sich der Zusammenhang zwischen den Gesetzen und Rechtsvorschriften einerseits und der zur Aufgabenunterstützung eingesetzten Informationstechnik andererseits. Aus Sicht der Softwaretechnik handelt es sich bei diesem Zusammenhang um eine spezielle Form der Verfolgbarkeit von Anforderungen (engl. T
APA, Harvard, Vancouver, ISO, and other styles
42

Papadouka, Maria Eirini. "Using Topic Models to Study Journalist-Audience Convergence and Divergence: The Case of Human Trafficking Coverage on British Online Newspapers." Thesis, University of North Texas, 2016. https://digital.library.unt.edu/ark:/67531/metadc862882/.

Full text
Abstract:
Despite the accessibility of online news and availability of sophisticated methods for analyzing news content, no previous study has focused on the simultaneous examination of news coverage on human trafficking and audiences' interpretations of this coverage. In my research, I have examined both journalists' and commenters' topic choices in coverage and discussion of human trafficking from the online platforms of three British newspapers covering the period 2009–2015. I used latent semantic analysis (LSA) to identify emergent topics in my corpus of newspaper articles and readers' comments, and
APA, Harvard, Vancouver, ISO, and other styles
43

Bringmann, Oliver. "Symbolische Interpretation Technischer Zeichnungen." Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2003. http://nbn-resolving.de/urn:nbn:de:swb:14-1045648731734-96098.

Full text
Abstract:
Gescannte und vektorisierte technische Zeichnungen werden automatisch unter Nutzung eines Netzes von Modellen in eine hochwertige Datenstruktur migriert. Die Modelle beschreiben die Inhalte der Zeichnungen hierarchisch und deklarativ. Modelle für einzelne Bestandteile der Zeichnungen können paarweise unabhängig entwickelt werden. Dadurch werden auch sehr komplexe Zeichnungsklassen wie Elektroleitungsnetze oder Gebäudepläne zugänglich. Die Modelle verwendet der neue, sogenannte Y-Algorithmus: Hypothesen über die Deutung lokaler Zeichnungsinhalte werden hierarchisch generiert. Treten bei der Nut
APA, Harvard, Vancouver, ISO, and other styles
44

Perrinel, Matthieu. "Investigating the expressivity of linear logic subsystems characterizing polynomial time." Thesis, Lyon, École normale supérieure, 2015. http://www.theses.fr/2015ENSL1001/document.

Full text
Abstract:
La complexité implicite est la caractérisation de classes de complexité par des restrictions syntaxiques sur des modèles de calcul. Plusieurs sous-systèmes de la logique linéaire caractérisant le temps polynomial ont été définis: ces systèmes sont corrects (les termes normalisent en temps polynomial) et complets (il est possible de simuler une machine de Turing pendant un nombre polynomial d'étapes). Un des buts sur le long terme est de donner statiquement des bornes de complexité. C’est pourquoi nous cherchons les caractérisations du temps polynomial les plus expressives possible. Notre princ
APA, Harvard, Vancouver, ISO, and other styles
45

Werner, David. "Indexation et recommandation d'informations : vers une qualification précise des items par une approche ontologique, fondée sur une modélisation métier du domaine : application à la recommandation d'articles économiques." Thesis, Dijon, 2015. http://www.theses.fr/2015DIJOS078/document.

Full text
Abstract:
La gestion efficace de grandes quantités d’informations est devenue un défi de plus en plus importantpour les systèmes d’information. Tous les jours, de nouvelles sources d’informations émergent surle web. Un humain peut assez facilement retrouver ce qu’il cherche, lorsqu’il s’agit d’un article,d’une vidéo, d’un artiste précis. En revanche, il devient assez difficile, voire impossible, d’avoir unedémarche exploratoire pour découvrir de nouveaux contenus. Les systèmes de recommandationsont des outils logiciels ayant pour objectif d’assister l’humain afin de répondre au problème desurcharge d’in
APA, Harvard, Vancouver, ISO, and other styles
46

Bringmann, Oliver. "Symbolische Interpretation Technischer Zeichnungen." Doctoral thesis, Technische Universität Dresden, 2001. https://tud.qucosa.de/id/qucosa%3A24202.

Full text
Abstract:
Gescannte und vektorisierte technische Zeichnungen werden automatisch unter Nutzung eines Netzes von Modellen in eine hochwertige Datenstruktur migriert. Die Modelle beschreiben die Inhalte der Zeichnungen hierarchisch und deklarativ. Modelle für einzelne Bestandteile der Zeichnungen können paarweise unabhängig entwickelt werden. Dadurch werden auch sehr komplexe Zeichnungsklassen wie Elektroleitungsnetze oder Gebäudepläne zugänglich. Die Modelle verwendet der neue, sogenannte Y-Algorithmus: Hypothesen über die Deutung lokaler Zeichnungsinhalte werden hierarchisch generiert. Treten bei der Nut
APA, Harvard, Vancouver, ISO, and other styles
47

Peuker, Sibylle. "Halbordnungsbasierte Verfeinerung zur Verifikation verteilter Algorithmen." Doctoral thesis, [S.l. : s.n.], 2001. http://deposit.ddb.de/cgi-bin/dokserv?idn=962820733.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Hellmann, Sebastian. "Integrating Natural Language Processing (NLP) and Language Resources Using Linked Data." Doctoral thesis, Universitätsbibliothek Leipzig, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:15-qucosa-157932.

Full text
Abstract:
This thesis is a compendium of scientific works and engineering specifications that have been contributed to a large community of stakeholders to be copied, adapted, mixed, built upon and exploited in any way possible to achieve a common goal: Integrating Natural Language Processing (NLP) and Language Resources Using Linked Data The explosion of information technology in the last two decades has led to a substantial growth in quantity, diversity and complexity of web-accessible linguistic data. These resources become even more useful when linked with each other and the last few years have see
APA, Harvard, Vancouver, ISO, and other styles
49

Nogueira, Rodrigo Ramos. "Newsminer: um sistema de data warehouse baseado em texto de notícias." Universidade Federal de São Carlos, 2017. https://repositorio.ufscar.br/handle/ufscar/9138.

Full text
Abstract:
Submitted by Milena Rubi (milenarubi@ufscar.br) on 2017-10-09T14:12:56Z No. of bitstreams: 1 NOGUEIRA_Rodrigo_2017.pdf: 5427774 bytes, checksum: db8155583bf1bffe3ceb4c01bf26f66f (MD5)<br>Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2017-10-09T14:14:04Z (GMT) No. of bitstreams: 1 NOGUEIRA_Rodrigo_2017.pdf: 5427774 bytes, checksum: db8155583bf1bffe3ceb4c01bf26f66f (MD5)<br>Approved for entry into archive by Milena Rubi (milenarubi@ufscar.br) on 2017-10-09T14:14:13Z (GMT) No. of bitstreams: 1 NOGUEIRA_Rodrigo_2017.pdf: 5427774 bytes, checksum: db8155583bf1bffe3ceb4
APA, Harvard, Vancouver, ISO, and other styles
50

Novák, Jaroslav. "Expertní systémy ES pro samostatné studium a jeho vyhodnocení." Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2009. http://www.nusl.cz/ntk/nusl-217933.

Full text
Abstract:
This master thesis contains the basic information about knowledge and expert systems. The thesis contains theoretic text about architecture of the expert systems and representation knowledge. The text regarding on representation knowledge contains examples of different ways of knowledge representation for expert systems. In the next part is described the design and all functions of the expert systems. This expert system uses frames representation.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the bibliographies on the topic 'Semantic Nets' for other source types:
Journal articles Books
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!

To the bibliography