Gotowe bibliografie tematyczne / Semantic Nets / Rozprawy doktorskie
Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Semantic Nets.

Rozprawy doktorskie na temat „Semantic Nets”

Autor: Grafiati
Data publikacji: 3 czerwca 2025
Data aktualizacji: 31 lipca 2025

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Semantic Nets”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.

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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
6

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
<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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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/.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
21

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
<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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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,
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
31

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
33

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
34

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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/.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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/.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
40

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

Znajdź pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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/.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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/.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
46

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

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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
Style APA, Harvard, Vancouver, ISO itp.
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.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany bibliografiami na temat „Semantic Nets” dla innych typów źródeł:
Artykuły w czasopismach Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii