Einloggen

Thematische Bibliographien / Rule based programming / Dissertationen

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Rule based programming.

Dissertationen zum Thema „Rule based programming“

Autor: Grafiati

Veröffentlicht am 4. Juni 2021

Zuletzt aktualisiert am 25. Mai 2024

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Rule based programming" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.

1

Kuo, Yung-Li. "Developing a rule-based expert system with C programming language." Virtual Press, 1988. http://liblink.bsu.edu/uhtbin/catkey/552943.

Der volle Inhalt der Quelle

Annotation:

Expert system techniques are now being incorporated successfully in commercial computer software packages. This thesis introduces the techniques of developing a rule-based expert system in a general-purpose programming language -- C. The topics of this thesis include significance of expert system shells and approaches used, structure of the knowledge base, loading of the knowledge base, manipulation of the probabilities of rule attributes, and implementation of the inference engine. The inference engine uses the information that users supply to find an object that matches. Today C language is

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Soltan-Zadeh, Yasaman. "Improved rule-based document representation and classification using genetic programming." Thesis, Royal Holloway, University of London, 2011. http://repository.royalholloway.ac.uk/items/479a1773-779b-8b24-b334-7ed485311abe/8/.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

Williamson, C. J. "Computer aided process control systems synthesis using rule-based programming." Thesis, University of Canterbury. Chemical Engineering, 1989. http://hdl.handle.net/10092/9407.

Der volle Inhalt der Quelle

Annotation:

Current steady-state process simulators have greatly increased the speed and efficiency of the development of Process Flow Diagrams. Chemical Engineers would benefit in the same way from a Computer Aided Design package to assist with generating completed Piping and Instrument Diagrams. Despite the many theoretical methods available in the control science area there is no single and complete available solution to the problem of synthesising control systems for whole chemical processes and therefore no concrete basis from which to develop a computer program. Design activities rely on a significa

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

Pappa, Gisele Lobo. "Automatically evolving rule induction algorithms with grammar-based genetic programming." Thesis, University of Kent, 2007. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.445792.

Der volle Inhalt der Quelle

Annotation:

In the last 30 years, research in the field of rule induction algorithms produced a large number of algorithms. However, these algorithms are usually obtained from the combination of a basic rule induction algorithm (typically following the sequential covering approach) with new evaluation functions, pruning methods and stopping criteria for refining or producing rules, generating many "new" and more sophisticated sequential covering algorithms. We cannot deny that these attempts to improve the basic sequential covering ~approach have succeeded. Hence, if manually changing these major componen

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Liu, Youzhong. "Rule warehouse system for knowledge sharing and business collaboration." [Gainesville, Fla.] : University of Florida, 2001. http://etd.fcla.edu/etd/uf/2001/anp4027/Youzhong%5FLiu%5FDissertation.pdf.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph. D.)--University of Florida, 2001.<br>Title from first page of PDF file. Document formatted into pages; contains xi, 121 p.; also contains graphics. Vita. Includes bibliographical references (p. 113-120).

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Lum, Bik. "A rule-based analysis system for Chinese sentences /." [Hong Kong : University of Hong Kong], 1989. http://sunzi.lib.hku.hk/hkuto/record.jsp?B1240231X.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

Lakkaraju, Sai Kiran, University of Western Sydney, of Science Technology and Environment College, and School of Computing and Information Technology. "A SLDNF based formalization for updates and abduction." THESIS_CSTE_CIT_Lakkaraju_S.xml, 2001. http://handle.uws.edu.au:8081/1959.7/381.

Der volle Inhalt der Quelle

Annotation:

Knowledge representation and inference are the backbone of artificial intelligence, and logic programming is one of the most widely used knowledge representation tools. Logic programming with deduction/induction/abduction as the reasoning technique is serving numerous fields of artificial intelligence. In dynamic domains where there are constant changes in knowledge, updating the knowledge base is crucial to keep it stable. This thesis investigates the issues in updating the knowledge base. Two types of logic program based updates are considered, simple fact based updates where the knowledge b

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Sahin, Yavuz. "A Programming Framework To Implement Rule-based Target Detection In Images." Master's thesis, METU, 2008. http://etd.lib.metu.edu.tr/upload/12610213/index.pdf.

Der volle Inhalt der Quelle

Annotation:

An expert system is useful when conventional programming techniques fall short of capturing human expert knowledge and making decisions using this information. In this study, we describe a framework for capturing expert knowledge under a decision tree form and this framework can be used for making decisions based on captured knowledge. The framework proposed in this study is generic and can be used to create domain specific expert systems for different problems. Features are created or processed by the nodes of decision tree and a final conclusion is reached for each feature. Framework supplie

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

Terfloth, Kirsten [Verfasser]. "A rule-based programming model for wireless sensor networks / Kirsten Terfloth." Berlin : Freie Universität Berlin, 2009. http://d-nb.info/1023664135/34.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Mehldau, Gerhard 1959. "A RULE-BASED PROGRAMMING LANGUAGE AND ITS APPLICATION TO IMAGE RECOGNITION." Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/276360.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Sankarasubramanian, Venkatasubramanian. "Rule based expert system for manufacturing process selection." Ohio : Ohio University, 2005. http://www.ohiolink.edu/etd/view.cgi?ohiou1126215558.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

Le, Truong Giang. "Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications." Phd thesis, Conservatoire national des arts et metiers - CNAM, 2013. http://tel.archives-ouvertes.fr/tel-00953368.

Der volle Inhalt der Quelle

Annotation:

Context-aware pervasive computing has attracted a significant research interest from both academy and industry worldwide. It covers a broad range of applications that support many manufacturing and daily life activities. For instance, industrial robots detect the changes of the working environment in the factory to adapt their operations to the requirements. Automotive control systems may observe other vehicles, detect obstacles, and monitor the essence level or the air quality in order to warn the drivers in case of emergency. Another example is power-aware embedded systems that need to work

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

林碧 and Bik Lum. "A rule-based analysis system for Chinese sentences." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1989. http://hub.hku.hk/bib/B31208769.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Manamalkav, Shankar N. "A framework for specifying and generating alerts in relational medical databases." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE1000139.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S.)--University of Florida, 2002.<br>Title from title page of source document. Document formatted into pages; contains xi, 68 p.; also contains graphics. Includes vita. Includes bibliographical references.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Shi, Yuan. "Integrated verification of constraints and event-and-action-oriented business rules." [Gainesville, Fla.] : University of Florida, 2001. http://etd.fcla.edu/etd/uf/2001/anp1051/thesis%5Fyshi.pdf.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S.)--University of Florida, 2001.<br>Title from first page of PDF file. Document formatted into pages; contains ix, 68 p.; also contains graphics. Vita. Includes bibliographical references (p. 64-67).

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Raj, Himanshu. "Integrated alerting for structured and free-text data in TriggerMan." [Gainesville, Fla.] : University of Florida, 2001. http://purl.fcla.edu/fcla/etd/UFE0000346.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S.)--University of Florida, 2001.<br>Title from title page of source document. Document formatted into pages; contains viii, 60 p.; also contains graphics. Includes vita. Includes bibliographical references.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Haldavnekar, Nikhil. "An algorithm and implementation for extracting schematic and semantic knowledge from relational database systems." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE0000541.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Medders, Stephen Charles. "Using rule-based structure to evaluate rule-based system testing completeness a case study of Loci and Quick Test /." Master's thesis, Mississippi State : Mississippi State University, 2008. http://library.msstate.edu/etd/show.asp?etd=etd-03052008-174707.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Joshi, Nicky. "IntelliBid an event-trigger-rule-based auction system over the Internet /." [Gainesville, Fla.] : University of Florida, 2001. http://etd.fcla.edu/etd/uf/2001/anp1603/thesis%5Fsubmit2.pdf.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S.)--University of Florida, 2001.<br>Title from first page of PDF file. Document formatted into pages; contains x, 61 p.; also contains graphics. Vita. Includes bibliographical references (p. 58-60).

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Thakore, Kushal. "Intellibid an Event-Trigger-Rule-Based auction system over the Internet /." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE1001185.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Kopanas, Vassilios. "Relational database support for a rule based approach to information systems." Thesis, University of Manchester, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.358052.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Blum, Jesse Michael. "Handling emergent conflicts in adaptable rule-based sensor networks." Thesis, University of Stirling, 2012. http://hdl.handle.net/1893/10622.

Der volle Inhalt der Quelle

Annotation:

This thesis presents a study into conflicts that emerge amongst sensor device rules when such devices are formed into networks. It describes conflicting patterns of communication and computation that can disturb the monitoring of subjects, and lower the quality of service. Such conflicts can negatively affect the lifetimes of the devices and cause incorrect information to be reported. A novel approach to detecting and resolving conflicts is presented. The approach is considered within the context of home-based psychiatric Ambulatory Assessment (AA). Rules are considered that can be used to con

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Le, Truong Giang. "Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications." Electronic Thesis or Diss., Paris, CNAM, 2013. http://www.theses.fr/2013CNAM0883.

Der volle Inhalt der Quelle

Annotation:

Les applications réactives et sensibles au contexte sont des applications intelligentes qui observent l’environnement (ou contexte) dans lequel elles s’exécutent et qui adaptent, si nécessaire, leur comportement en cas de changements dans ce contexte, ou afin de satisfaire les besoins ou d'anticiper les intentions des utilisateurs. La recherche dans ce domaine suscite un intérêt considérable tant de la part des académiques que des industriels. Les domaines d'applications sont nombreux: robots industriels qui peuvent détecter les changements dans l'environnement de travail de l'usine pour adapt

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Zhu, Leon Yang. "Dominant strategy double auction mechanisms design and implementation /." [Gainesville, Fla.] : University of Florida, 2005. http://purl.fcla.edu/fcla/etd/UFE0011354.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

Meng, Jie. "Achieving dynamic inter-organizational workflow management by integrating business processes, e-services, events, and rules." [Gainesville, Fla.] : University of Florida, 2002. http://purl.fcla.edu/fcla/etd/UFE1000143.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph. D.)--University of Florida, 2002.<br>Title from title page of source document. Document formatted into pages; contains xii, 102 p.; also contains graphics. Includes vita. Includes bibliographical references.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Chatterjee, Raja. "KBMS-based evolutionary prototyping of object-oriented software systems /." CLICK ON LINK, THEN SEARCH BY AUTHOR OR TITLE; ACCESS RESTRICTED TO COMPUTERS ON UF CAMPUS OR WITH UF IP ADDRESSES, 1998. http://wwwlib.umi.com/cr/ufl/main.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph. D.)--University of Florida, 1998.<br>Typescript. Vita. Includes bibliographical references (leaves 115-118). Full text also available from UMI Current Research @ database; Adobe Acrobat Reader required to display text; see LINKS to connect

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Wadatkar, Ajit. "Process Selection for Hole Operations Using a Rule Based Approach." Ohio University / OhioLINK, 2004. http://www.ohiolink.edu/etd/view.cgi?ohiou1108480552.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Vitorino, dos Santos Filho Jairson. "CHROME: a model-driven component-based rule engine." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1638.

Der volle Inhalt der Quelle

Annotation:

Made available in DSpace on 2014-06-12T15:51:39Z (GMT). No. of bitstreams: 2 arquivo2757_1.pdf: 5759741 bytes, checksum: 8075c58c36a6d409b242f2a7873fb02f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009<br>Coordenação de Aperfeiçoamento de Pessoal de Nível Superior<br>Vitorino dos Santos Filho, Jairson; Pierre Louis Robin, Jacques. CHROME: a model-driven component-based rule engine. 2009. Tese (Doutorado). Programa de Pós-Graduação em Ciência da Computação, Universidade Federal de Pernambuco, Recife, 2009.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Jarvis, Matthew P. "Applying machine learning techniques to rule generation in intelligent tutoring systems." Link to electronic thesis, 2004. http://www.wpi.edu/Pubs/ETD/Available/etd-0429104-112724.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S.)--Worcester Polytechnic Institute.<br>Keywords: Intelligent Tutoring Systems; Model Tracing; Machine Learning; Artificial Intelligence; Programming by Demonstration. Includes bibliographical references.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Garzón, Miguel Alejandro. "Reverse Engineering Object-Oriented Systems into Umple: An Incremental and Rule-Based Approach." Thesis, Université d'Ottawa / University of Ottawa, 2015. http://hdl.handle.net/10393/32615.

Der volle Inhalt der Quelle

Annotation:

This thesis investigates a novel approach to reverse engineering, in which modeling information such as UML associations, state machines and attributes is incrementally added to code written in Java or C++, while maintaining the system in a textual format. Umple is a textual representation that blends modeling in UML with programming language code. The approach, called umplification, produces a program with behavior identical to the original one, but written in Umple and enhanced with model-level abstractions. As the resulting program is Umple code, our approach eliminates the distinction betw

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Burhans, Debra Thomas. "A question answering interpretation of resolution refutation." Buffalo, N.Y. : Dept. of Computer Science, State University of New York at Buffalo, 2002. http://www.cse.buffalo.edu/tech%2Dreports/2002%2D03.ps.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Lakkaraju, Sai Kiran. "A SLDNF formalization for updates and abduction /." View thesis View thesis, 2001. http://library.uws.edu.au/adt-NUWS/public/adt-NUWS20030507.112018/index.html.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.Sc. (Hons.)) -- University of Western Sydney, 2001.<br>"A thesis submitted for the degree of Master of Science (Honours) - Computing and Information Technology at University of Western Sydney" Bibliography : leaves 93-98.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

De, Kock Erika. "Decentralising the codification of rules in a decision support expert knowledge base." Pretoria : [s.n.], 2003. http://upetd.up.ac.za/thesis/available/etd-03042004-105746.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Endl, Rainer. "Regelbasierte Entwicklung betrieblicher Informationssysteme /." Bern : [s.n.], 2004. http://www.zb.unibe.ch/download/eldiss/04endl_r.pdf.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Ong, Yongzhi [Verfasser], Winfried [Akademischer Betreuer] Kurth, and Hans-Jörg [Akademischer Betreuer] Kreowski. "Extension of the Rule-Based Programming Language XL by Concepts for Multi-Scaled Modelling and Level-of-Detail Visualization / Yongzhi Ong. Gutachter: Winfried Kurth ; Hans-Jörg Kreowski. Betreuer: Winfried Kurth." Göttingen : Niedersächsische Staats- und Universitätsbibliothek Göttingen, 2015. http://d-nb.info/1070423653/34.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Håkansson, Anne. "Graphic Representation and Visualisation as Modelling Support for the Knowledge Acquisition Process." Doctoral thesis, Uppsala University, Computer Science, 2003. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-3812.

Der volle Inhalt der Quelle

Annotation:

<p>The thesis describes steps taken towards using graphic representation and visual modelling support for the knowledge acquisition process in knowledge-based systems – a process commonly regarded as difficult. The performance of the systems depends on the quality of the embedded knowledge, which makes the knowledge acquisition phase particularly significant. During the acquisition phase, a main obstacle to proper extraction of information is the absence of effective modelling techniques.</p><p>The contributions of the thesis are: introducing a methodology for user-centred knowledge modelling,

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Beatrix, Christopher. "Justifications dans les approches ASP basées sur les règles : application au backjumping dans le solveur ASPeRiX." Thesis, Angers, 2016. http://www.theses.fr/2016ANGE0026/document.

Der volle Inhalt der Quelle

Annotation:

L’ Answer Set Programming (ASP) est un formalisme capable de représenter des connaissances en Intelligence Artificielle à l’aide d’un programme logique au premier ordre pouvant contenir des négations par défaut. En quelques années, plusieurs solveurs performants ont été proposés pour calculer les solutions d’un programme ASP que l’on nomme answer sets.Nous nous intéressons ici plus particulièrement au solveur ASPeRiX qui instancie les règles au premier ordre à la volée durant le calcul des answer sets. Pour réaliser cela, ASPeRiX applique un chaînage avant sur les règles à partir de littéraux

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Ellery, Ian Gareth. "The creation of missing rules for knowledge based systems." Thesis, University of Aberdeen, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.291022.

Der volle Inhalt der Quelle

Annotation:

It is unlikely that any knowledge based system will have a complete rule-base when it is first built. Whether the rules are automatically generated from examples by machine learning methods, or hand encoded by a knowledge engineer, some rules will almost certainly be missing. It is the aim of Knowledge Refinement Systems to enable new rules to be created and included into an existing knowledge base as easily as possible. Previous approaches to this problem have either helped the expert detect that a rule is missing, or attempted to learn a new rule automatically from examples. However, in the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Mário, Oliveira Rodrigues Cleyton. "Component assembly and theorem proving in constraint handling rules." Universidade Federal de Pernambuco, 2009. https://repositorio.ufpe.br/handle/123456789/1821.

Der volle Inhalt der Quelle

Annotation:

Made available in DSpace on 2014-06-12T15:52:36Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009<br>Devido á grande demanda por softwares cada vez mais robustos, complexos e flexíveis, e, sobretudo, pelo curtíssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provém do uso de uma metodologia baseada em agentes que se comunicam e com isso, ao invés dos prog

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Pierre-Louis, Péguy. "Algorithmic Developments in Monte Carlo Sampling-Based Methods for Stochastic Programming." Diss., The University of Arizona, 2012. http://hdl.handle.net/10150/228433.

Der volle Inhalt der Quelle

Annotation:

Monte Carlo sampling-based methods are frequently used in stochastic programming when exact solution is not possible. In this dissertation, we develop two sets of Monte Carlo sampling-based algorithms to solve classes of two-stage stochastic programs. These algorithms follow a sequential framework such that a candidate solution is generated and evaluated at each step. If the solution is of desired quality, then the algorithm stops and outputs the candidate solution along with an approximate (1 - α) confidence interval on its optimality gap. The first set of algorithms proposed, which we refer

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Deng, Mario [Verfasser]. "Predicting Rules for Cancer Subtype Classification using Grammar-Based Genetic Programming on various Genomic Data Types / Mario Deng." Bonn : Universitäts- und Landesbibliothek Bonn, 2018. http://d-nb.info/115667946X/34.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

Gomes, Ana Sofia. "Derivation methods for hybrid knowledge bases with rules and ontologies." Master's thesis, FCT - UNL, 2009. http://hdl.handle.net/10362/2563.

Der volle Inhalt der Quelle

Annotation:

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática<br>First of all, I would like to thank my advisor, José Júlio Alferes, for his incredible support. Right from the start, during the first semester of this work, when we were 2700 km apart and meeting regularly via Skype, until the end of this dissertation, he was always committed and available for discussions, even when he had lots of other urgent things to do. A really special thanks to Terrance Swift, whom acted as an advisor, helping me a lo

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Espinosa, Oviedo Javier Alfonso. "Coordination fiable de services de données à base de politiques actives." Thesis, Grenoble, 2013. http://www.theses.fr/2013GRENM022/document.

Der volle Inhalt der Quelle

Annotation:

Nous proposons une approche pour ajouter des propriétés non-fonctionnelles (traitement d'exceptions, atomicité, sécurité, persistance) à des coordinations de services. L'approche est basée sur un Modèle de Politiques Actives (AP Model) pour représenter les coordinations de services avec des propriétés non-fonctionnelles comme une collection de types. Dans notre modèle, une coordination de services est représentée comme un workflow compose d'un ensemble ordonné d'activité. Chaque activité est en charge d'implante un appel à l'opération d'un service. Nous utilisons le type Activité pour représen

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Wolf, Robert Pawel. "Declarative computer music programming: using Prolog to generate rule-based musical counterpoints." Thesis, 2015. http://hdl.handle.net/2440/96913.

Der volle Inhalt der Quelle

Annotation:

This submission for the degree of Doctor of Philosophy at the Elder Conservatorium of Music, University of Adelaide, is presented as a conventional, text-based thesis, supported by computer code and audio files. The primary purpose of this research investigation in the field of Artificial Intelligence has been to test the capabilities of the declarative programming paradigm to generate musical counterpoints within the framework of a specially created expert system. The project has tested if such a contrapuntal expert system can evolve through a process of mutation of its own code and generate

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Lakkaraju, Sai K. "A SLDNF based formalization for updates and abduction." Thesis, 2001. http://handle.uws.edu.au:8081/1959.7/381.

Der volle Inhalt der Quelle

Annotation:

Knowledge representation and inference are the backbone of artificial intelligence, and logic programming is one of the most widely used knowledge representation tools. Logic programming with deduction/induction/abduction as the reasoning technique is serving numerous fields of artificial intelligence. In dynamic domains where there are constant changes in knowledge, updating the knowledge base is crucial to keep it stable. This thesis investigates the issues in updating the knowledge base. Two types of logic program based updates are considered, simple fact based updates where the knowledge b

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

Shyu, Jenq-Long, and 徐正龍. "CAROL4: An Object and Rule-Based Programming Language— An Interpreter Using C++ Implementation." Thesis, 1995. http://ndltd.ncl.edu.tw/handle/33635581927824809009.

Der volle Inhalt der Quelle

Annotation:

碩士<br>國立中央大學<br>資訊及電子工程研究所<br>83<br>Most software developing systems do not provide a good language or mechanism to model the complex student model and teaching strategy in intelligent tutoring systems (ITSs). This motivates us to design a general-purpose language , named CAROL4, to achieve this objective. In CAROL4, we preserve the rule-based programming style inherited from its previous version, CAROL3, and use delegation for resource sharing between objects, instead of inheritance. Deleg

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

Lei, Yiming. "Architectural aspects and a prototype system for handling disputes in electronic commerce transactions /." 2002.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

Zhan, Ruo-Jie, and 詹若(木疌). "Cognitive Diagnosis of Learning Path in C++ Programming Language based on Rule Space Model for College Students." Thesis, 2010. http://ndltd.ncl.edu.tw/handle/53739985985314916316.

Der volle Inhalt der Quelle

Annotation:

碩士<br>中華大學<br>資訊管理學系(所)<br>98<br>Programming Language is a practical course, which trains students’ logical thinking and problem solving. It involves logical design, problem analysis and problem solving. Therefore, to promote students’ programming, debugging and basic concepts understanding is an important issue. Programming Language is one of the basic courses. Students learn the information planning, managing and manipulation from variable declaration, data processing, flow control and output progress. This study applied Rule Space Model to generalize, analyze and study the C++ teaching conc

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

"Supervisory Control Optimization with Sequential Quadratic Programming for Parallel Hybrid Vehicle with Synchronous Power Sources." Master's thesis, 2017. http://hdl.handle.net/2286/R.I.44420.

Der volle Inhalt der Quelle

Annotation:

abstract: The thesis covers the development and modeling of the supervisory hybrid controller using two different methods to achieve real-world optimization and power split of a parallel hybrid vehicle with a fixed shaft connecting the Internal Combustion Engine (ICE) and Electric Motor (EM). The first strategy uses a rule based controller to determine modes the vehicle should operate in. This approach is well suited for real-world applications. The second approach uses Sequential Quadratic Programming (SQP) approach in conjunction with an Equivalent Consumption Minimization Strategy (ECMS) st

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

Ong, Yongzhi. "Extension of the Rule-Based Programming Language XL by Concepts for Multi-Scaled Modelling and Level-of-Detail Visualization." Doctoral thesis, 2015. http://hdl.handle.net/11858/00-1735-0000-0022-5FC5-B.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!