Einloggen

Thematische Bibliographien / Sequential processing (Computer science) / Dissertationen

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Sequential processing (Computer science).

Dissertationen zum Thema „Sequential processing (Computer science)“

Autor: Grafiati

Veröffentlicht am 4. Juni 2021

Zuletzt aktualisiert am 1. August 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 "Sequential processing (Computer science)" 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

Parashkevov, Atanas. "Advances in space and time efficient model checking of finite state systems." Title page, contents and abstract only, 2002. http://web4.library.adelaide.edu.au/theses/09PH/09php223.pdf.

Der volle Inhalt der Quelle

Annotation:

Bibliography: leaves 211-220 This thesis examines automated formal verification techniques and their associated space and time implementation complexity when applied to finite state concurrent systems. The focus is on concurrent systems expressed in the Communicating Sequential Processes (CSP) framework. An approach to the compilation of CSP system descriptions into boolean formulae in the form of Ordered Binary Decision Diagrams (OBDD) is presented, further utilised by a basic algorithm that checks a refinement or equivalence relation between a pair of processes in any of the three CSP seman

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Bari, Himanshu. "Design and implementation of a library to support the Common Component Architecture (CCA) over Legion." Diss., Online access via UMI:, 2004. http://wwwlib.umi.com/dissertations/fullcit/1424173.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

Zhang, Shujian. "Evaluation in built-in self-test." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1998. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp02/NQ34293.pdf.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

Moffat, Nicholas. "Identifying and exploiting symmetry for CSP refinement checking." Thesis, University of Oxford, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.711620.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

Pajic, Slobodan. "Sequential quadratic programming-based contingency constrained optimal power flow." Link to electronic thesis, 2003. http://www.wpi.edu/Pubs/ETD/Available/etd-0430103-152758.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Simpson, Andrew C. "Safety through security." Thesis, University of Oxford, 1996. http://ora.ox.ac.uk/objects/uuid:4a690347-46af-42a4-91fe-170e492a9dd1.

Der volle Inhalt der Quelle

Annotation:

In this thesis, we investigate the applicability of the process algebraic formal method Communicating Sequential Processes (CSP) [Hoa85] to the development and analysis of safetycritical systems. We also investigate how these tasks might be aided by mechanical verification, which is provided in the form of the proof tool Failures-Divergences Refinement (FDR) [Ros94]. Initially, we build upon the work of [RWW94, Ros95], in which CSP treatments of the security property of non-interference are described. We use one such formulation to define a property called protection, which unifies our views o

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

Koufogiannakis, Christos. "Approximation algorithms for covering problems." Diss., [Riverside, Calif.] : University of California, Riverside, 2009. http://proquest.umi.com/pqdweb?index=0&did=1957320821&SrchMode=2&sid=1&Fmt=2&VInst=PROD&VType=PQD&RQT=309&VName=PQD&TS=1268338860&clientId=48051.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph. D.)--University of California, Riverside, 2009.<br>Includes abstract. Title from first page of PDF file (viewed March 11, 2010). Available via ProQuest Digital Dissertations. Includes bibliographical references (p. 70-77). Also issued in print.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Bari, Wasimul. "Analyzing binary longitudinal data in adaptive clinical trials /." Internet access available to MUN users only, 2003. http://collections.mun.ca/u?/theses,167453.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

Thomas, Jonathan. "Asynchronous Validity Resolution in Sequentially Consistent Shared Virtual Memory." Fogler Library, University of Maine, 2001. http://www.library.umaine.edu/theses/pdf/Thomas.pdf.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

Shao, Yang. "Sequential organization in computational auditory scene analysis." Columbus, Ohio : Ohio State University, 2007. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1190127412.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Van, Delden Sebastian Alexander. "Larger-first partial parsing." Doctoral diss., University of Central Florida, 2003. http://digital.library.ucf.edu/cdm/ref/collection/RTD/id/2038.

Der volle Inhalt der Quelle

Annotation:

University of Central Florida College of Engineering Thesis<br>Larger-first partial parsing is a primarily top-down approach to partial parsing that is opposite to current easy-fzrst, or primarily bottom-up, strategies. A rich partial tree structure is captured by an algorithm that assigns a hierarchy of structural tags to each of the input tokens in a sentence. Part-of-speech tags are first assigned to the words in a sentence by a part-of-speech tagger. A cascade of Deterministic Finite State Automata then uses this part-of-speech information to identify syntactic relations primarily in a des

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

Jang, Geon-Ho. "Design and implementation of pulse sequences for application in MRI /." free to MU campus, to others for purchase, 1999. http://wwwlib.umi.com/cr/mo/fullcit?p9953868.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

Malkoc, Veysi. "Sequential alignment and position verification system for functional proton radiosurgery." CSUSB ScholarWorks, 2004. https://scholarworks.lib.csusb.edu/etd-project/2535.

Der volle Inhalt der Quelle

Annotation:

The purpose of this project is to improve the existing version of the Sequential Alignment and Position Verification System (SAPVS) for functional proton radiosurgery and to evaluate its performance after improvement .

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Dourado, Camila da Silva 1982. "Mineração de dados climáticos para análise de eventos extremos de precipitação." [s.n.], 2013. http://repositorio.unicamp.br/jspui/handle/REPOSIP/256801.

Der volle Inhalt der Quelle

Annotation:

Orientadores: Stanley Robson de Medeiros Oliveira, Ana Maria Heuminski de Avila<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Agrícola<br>Made available in DSpace on 2018-08-22T14:12:46Z (GMT). No. of bitstreams: 1 Dourado_CamiladaSilva_M.pdf: 21521693 bytes, checksum: d0c749dfa3c77ac47a96acd234b8d3c3 (MD5) Previous issue date: 2013<br>Resumo: O conhecimento das condições climáticas, identificando regiões com maiores riscos de ocorrências de eventos extremos, que possam impactar os diversos setores socioeconômicos e ambientais, tornou-se um grande des

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Uijt, de Haag Maarten. "An investigation into the application of block processing techniques for the Global Positioning System." Ohio : Ohio University, 1999. http://www.ohiolink.edu/etd/view.cgi?ohiou1181171187.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Mazur, Tomasz Krzysztof. "Model Checking Systems with Replicated Components using CSP." Thesis, University of Oxford, 2011. http://ora.ox.ac.uk/objects/uuid:6694fac7-00b4-4b25-b054-813d7a6a4cdb.

Der volle Inhalt der Quelle

Annotation:

The Parameterised Model Checking Problem asks whether an implementation Impl(t) satisfies a specification Spec(t) for all instantiations of parameter t. In general, t can determine numerous entities: the number of processes used in a network, the type of data, the capacities of buffers, etc. The main theme of this thesis is automation of uniform verification of a subclass of PMCP with the parameter of the first kind, using techniques based on counter abstraction. Counter abstraction works by counting how many, rather than which, node processes are in a given state: for nodes with k local state

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Costello, Roger Lee. "Responsive sequential processes /." The Ohio State University, 1988. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487588249825353.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Nelson, Alexander J. "Software signature derivation from sequential digital forensic analysis." Thesis, University of California, Santa Cruz, 2016. http://pqdtopen.proquest.com/#viewpdf?dispub=10140317.

Der volle Inhalt der Quelle

Annotation:

<p> Hierarchical storage system namespaces are notorious for their immense size, which is a significant hindrance for any computer inspection. File systems for computers start with tens of thousands of files, and the Registries of Windows computers start with hundreds of thousands of cells. An analysis of a storage system, whether for digital forensics or locating old data, depends on being able to reduce the namespaces down to the features of interest. Typically, having such large volumes to analyze is seen as a challenge to identifying relevant content. However, if the origins of files ca

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Hsieh, Wilson Cheng-Yi. "Extracting parallelism from sequential programs." Thesis, Massachusetts Institute of Technology, 1988. http://hdl.handle.net/1721.1/14752.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

King, Myron Decker. "An efficient sequential BTRS implementation." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/46603.

Der volle Inhalt der Quelle

Annotation:

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.<br>Includes bibliographical references (leaves 73-74).<br>This thesis describes the implementation of BTRS, a language based on guarded atomic actions (GAA). The input language to the compiler which forms the basis of this work is a hierarchical tree of modules containing state, interface methods, and rules which fire atomically to cause state transitions. Since a schedule need not be specified, the program description is inherently nondeterministic, though the BTRS language does a

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Xu, Zhi S. M. Massachusetts Institute of Technology. "Private sequential search and optimization." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/112054.

Der volle Inhalt der Quelle

Annotation:

Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 107-108).<br>We propose and analyze two models to study an intrinsic trade-off between privacy and query complexity in online settings: 1. Our first private optimization model involves an agent aiming to minimize an objective function expressed as a weighted sum of finitely many convex cost functions, where the weights capture the importance the agent assigns to each cost function. The agent

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Hebb, Christopher Louis. "Website usability evaluation using sequential analysis." [Bloomington, Ind.] : Indiana University, 2005. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:3167801.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph.D.)--Indiana University, Dept. of Instructional Systems Technology, 2005.<br>Source: Dissertation Abstracts International, Volume: 66-04, Section: A, page: 1328. Adviser: Theodore W. Frick. "Title from dissertation home page (viewed Nov. 13, 2006)."

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Jin, Stone Qiaodan (Qiaodan Jordan). "An ARM-based sequential sampling oscilloscope." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/100591.

Der volle Inhalt der Quelle

Annotation:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (page 141).<br>Sequential equivalent-time sampling allows a system to acquire repetitious waveforms with frequencies beyond the Nyquist rate. This thesis documents the prototype of a digital ARM-based sequential sampling oscillosco

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Macindoe, Owen. "Sidekick agents for sequential planning problems." Thesis, Massachusetts Institute of Technology, 2013. http://hdl.handle.net/1721.1/84892.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2013.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 127-131).<br>Effective Al sidekicks must solve the interlinked problems of understanding what their human collaborator's intentions are and planning actions to support them. This thesis explores a range of approximate but tractable approaches to planning for AI sidekicks based on decision-theoretic methods that reason about how the sidekick's actions will effect their beliefs about unobser

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

Parvathala, Rajeev (Rajeev Krishna). "Representation learning for non-sequential data." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/119581.

Der volle Inhalt der Quelle

Annotation:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2018.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 85-90).<br>In this thesis, we design and implement new models to learn representations for sets and graphs. Typically, data collections in machine learning problems are structured as arrays or sequences, with sequential rela

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

ArÄ±kan, Erdal. "Sequential decoding for multiple access channels." Thesis, Massachusetts Institute of Technology, 1985. http://hdl.handle.net/1721.1/15190.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1986.<br>MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING.<br>Bibliography: leaves 111-112.<br>by Erdal Arikan.<br>Ph.D.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Koita, Rizwan R. (Rizwan Rahim). "Strategies for sequential design of experiments." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/35998.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Liando, Johnny 1964. "Enhancement and evaluation of SCIRTSS (sequential circuits test search system) on ISCAS'89 benchmark sequential circuits." Thesis, The University of Arizona, 1990. http://hdl.handle.net/10150/278283.

Der volle Inhalt der Quelle

Annotation:

SCIRTSS, the automatic test pattern generation system for sequential circuit described in AHPL, has been improved to have the best and correct version of the D-Algorithm. This improvement works together with the recent enhancement of the backward state justification search. SCIRTSS now has a complete set of procedures to generate tests for sequential circuits. The performance of SCIRTSS is evaluated using the recent ISCAS'89 sequential benchmark circuits. The overall concepts of how SCIRTSS generate tests, the improvements made on the D-Algorithm, and the benchmark results are presented in thi

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Wang, Jonathan M. Eng Massachusetts Institute of Technology. "Pentimento : non-sequential authoring of handwritten lectures." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/100619.

Der volle Inhalt der Quelle

Annotation:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Pentimento is software developed under the supervision of Fredo Durand in the Computer Graphics Group at CSAIL that focuses on dramatically simplifying the creation of online educational video lectures such as those of Khan Academy. In these videos, the lecture style

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Dernoncourt, Franck. "Sequential short-text classification with neural networks." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/111880.

Der volle Inhalt der Quelle

Annotation:

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 69-79).<br>Medical practice too often fails to incorporate recent medical advances. The two main reasons are that over 25 million scholarly medical articles have been published, and medical practitioners do not have the time to perform literature reviews. Systematic reviews aim at summarizing published medical evidence, but writing them requires tremendous human efforts. In this thesis, we

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Gu, Ronghui. "An Extensible Architecture for Building Certified Sequential and Concurrent OS Kernels." Thesis, Yale University, 2017. http://pqdtopen.proquest.com/#viewpdf?dispub=10584948.

Der volle Inhalt der Quelle

Annotation:

<p> Operating System (OS) kernels form the backbone of all system software. They have a significant impact on the resilience, extensibility, and security of today's computing hosts. However, modern OS kernels are complex and may consist of a multitude of sequential or concurrent abstraction layers; unfortunately, abstraction layers have almost never been formally specified or verified. This makes it difficult to establish strong correctness properties, and to scale program verification across multiple abstraction layers.</p><p> Recent efforts have demonstrated the feasibility of building lar

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Sundaresan, Tejas G. "Sequential modeling for mortality prediction in the ICU." Thesis, Massachusetts Institute of Technology, 2017. http://hdl.handle.net/1721.1/113105.

Der volle Inhalt der Quelle

Annotation:

Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Cataloged from student-submitted PDF version of thesis.<br>Includes bibliographical references (pages 85-89).<br>Severity of illness scores are commonly used in critical care medicine to guide treatment decisions and benchmark the quality of medical care. These scores operate in part by predicting patient mortality in the IC

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Goldberg, Andrew Vladislav. "Efficient graph algorithms for sequential and parallel computers." Thesis, Massachusetts Institute of Technology, 1987. http://hdl.handle.net/1721.1/14912.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1987.<br>MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING.<br>Bibliography: p. 117-123.<br>by Andrew Vladislav Goldberg.<br>Ph.D.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Maurer, Patrick M. (Patrick Michael). "Sequential decoding of trellis codes through ISI channels." Thesis, Massachusetts Institute of Technology, 1996. http://hdl.handle.net/1721.1/38820.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.<br>Includes bibliographical references (leaves 56-57).<br>by Patrick M. Maurer.<br>M.S.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Alidina, Mazhar Murtaza. "Precomputation-based sequential logic optimization for low power." Thesis, Massachusetts Institute of Technology, 1994. http://hdl.handle.net/1721.1/36454.

Der volle Inhalt der Quelle

Annotation:

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1994.<br>Includes bibliographical references (leaves 69-71).<br>by Mazhar Murtaza Alidina.<br>M.S.

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Al-Hajri, Muhannad Khaled. "Object Tracking Sensor Networks using Sequential Patterns in an Energy Efficient Prediction Technique." Thesis, University of Ottawa (Canada), 2010. http://hdl.handle.net/10393/28880.

Der volle Inhalt der Quelle

Annotation:

Wireless Sensor Networks applications are attracting more and more research, especially in energy saving techniques/architectures which is the focal point of most researchers in this area. One of the most interesting applications of Wireless Sensor Networks is the Object Tracking Sensor Networks which are used mainly to track certain objects in a monitored area and to report its location to the application's users. This application is a major energy consumer among other Wireless Sensor Networks applications. There have been many techniques that assist in delivering the required data while main

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Mirikitani, Derrick Takeshi. "Sequential recurrent connectionist algorithms for time series modeling of nonlinear dynamical systems." Thesis, Goldsmiths College (University of London), 2010. http://research.gold.ac.uk/3239/.

Der volle Inhalt der Quelle

Annotation:

This thesis deals with the methodology of building data driven models of nonlinear systems through the framework of dynamic modeling. More specifically this thesis focuses on sequential optimization of nonlinear dynamic models called recurrent neural networks (RNNs). In particular, the thesis considers fully connected recurrent neural networks with one hidden layer of neurons for modeling of nonlinear dynamical systems. The general objective is to improve sequential training of the RNN through sequential second-order methods and to improve generalization of the RNN by regularization. The total

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

Huggins, Jonathan H. (Jonathan Hunter). "An information-theoretic analysis of resampling in Sequential Monte Carlo." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/91033.

Der volle Inhalt der Quelle

Annotation:

Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2014.<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>29<br>Cataloged from student submitted PDF version of thesis.<br>Includes bibliographical references (pages 56-57).<br>Sequential Monte Carlo (SMC) methods form a popular class of Bayesian inference algorithms. While originally applied primarily to state-space models, SMC is increasingly being used as a general-purpose Bayesian

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Hammerton, James Alistair. "Exploiting holistic computation : an evaluation of the sequential RAAM." Thesis, University of Birmingham, 1999. http://etheses.bham.ac.uk//id/eprint/4948/.

Der volle Inhalt der Quelle

Annotation:

In recent years it has been claimed that connectionist methods of representing compositional structures, such as lists and trees, support a new form of symbol processing known as holistic computation. In a holistic computation the constituents of an object are acted upon simultaneously, rather than on a one-by-one basis as is typical in traditional symbolic systems. This thesis presents firstly, a critical examination of the concept of holistic computation, as described in the literature, along with a revised definition of the concept that aims to clarify the issues involved. In particular it

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Woodbeck, Kris. "On neural processing in the ventral and dorsal visual pathways using the programmable Graphics Processing Unit." Thesis, University of Ottawa (Canada), 2007. http://hdl.handle.net/10393/27660.

Der volle Inhalt der Quelle

Annotation:

We describe a system of biological inspiration that represents both pathways of the primate visual cortex. Our model is applied to multi-class object recognition and the creation of disparity maps from stereo images. All processing is done using the programmable graphics processor; we show that the Graphics Processing Unit (GPU) is a very natural platform for modeling the highly parallel nature of the brain. Each visual processing area in our model is closely based on the properties of the associated area within the brain. Our model covers areas V1 and V2, area V3 of the dorsal pathway and V4

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

ZHU, WEILI. "The Application of Monte Carlo Sampling to Sequential Auction Games with Incomplete Information:-An Empirical Study." NCSU, 2001. http://www.lib.ncsu.edu/theses/available/etd-20010930-170049.

Der volle Inhalt der Quelle

Annotation:

<p>AbstractWeili, Zhu. The Application of Monte Carlo Sampling to Sequential Auction Games with Incomplete Information: -An Empirical Study. (Under the direction of Peter Wurman.)In this thesis, I develop a sequential auction model and design a bidding agent for it. This agent uses Monte Carlo sampling to ¡°learn¡± from a series sampled games. I use a game theory research toolset called GAMBIT to implement the model and collect some experimental data. The data shows the effect of different factors that impact on our agent¡¯s performance, such as the sample size, the depth of game tree, etc. Th

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

Chalmers, Kevin. "Investigating communicating sequential processes for Java to support ubiquitous computing." Thesis, Edinburgh Napier University, 2009. http://researchrepository.napier.ac.uk/Output/3507.

Der volle Inhalt der Quelle

Annotation:

Ubiquitous Computing promises to enrich our everyday lives by enabling the environment to be enhanced via computational elements. These elements are designed to augment and support our lives, thus allowing us to perform our tasks and goals. The main facet of Ubiquitous Computing is that computational devices are embedded in the environment, and interact with users and themselves to provide novel and unique applications. Ubiquitous Computing requires an underlying architecture that helps to promote and control the dynamic properties and structures that the applications require. In this thesis,

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Liu, Ying. "Query optimization for distributed stream processing." [Bloomington, Ind.] : Indiana University, 2007. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3274258.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph.D.)--Indiana University, Dept. of Computer Science, 2007.<br>Source: Dissertation Abstracts International, Volume: 68-07, Section: B, page: 4597. Adviser: Beth Plale. Title from dissertation home page (viewed Apr. 21, 2008).

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Hudson, James. "Processing large point cloud data in computer graphics." Connect to this title online, 2003. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1054233187.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph. D.)--Ohio State University, 2003.<br>Title from first page of PDF file. Document formatted into pages; contains xix, 169 p.; also includes graphics (some col.). Includes bibliographical references (p. 159-169). Available online via OhioLINK's ETD Center

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Isawhe, Boladale Modupe. "Sequential frame synchronization over binary symmetrical channel for unequally distributed data symbols." Thesis, Kingston University, 2017. http://eprints.kingston.ac.uk/39287/.

Der volle Inhalt der Quelle

Annotation:

Frame synchronization is a critical task in digital communications receivers as it enables the accurate decoding and recovery of transmitted information. Information transmitted over a wireless channel is represented as bit stream. The bit stream is typically organized into groups of bits which can be of the same or variable length, known as frames, with frames being demarcated prior to transmission by a known bit sequence. The task of the frame synchronizer in the receiver is then to correctly determine frame boundaries, given that the received bit stream is a possibly corrupted version of th

APA, Harvard, Vancouver, ISO und andere Zitierweisen

46

Lee, Li 1975. "Distributed signal processing." Thesis, Massachusetts Institute of Technology, 2000. http://hdl.handle.net/1721.1/86436.

Der volle Inhalt der Quelle

APA, Harvard, Vancouver, ISO und andere Zitierweisen

47

McCormick, Martin (Martin Steven). "Digital pulse processing." Thesis, Massachusetts Institute of Technology, 2012. http://hdl.handle.net/1721.1/78468.

Der volle Inhalt der Quelle

Annotation:

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2012.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 71-74).<br>This thesis develops an exact approach for processing pulse signals from an integrate-and-fire system directly in the time-domain. Processing is deterministic and built from simple asynchronous finite-state machines that can perform general piecewise-linear operations. The pulses can then be converted back into an analog or fixed-point digital representation through a filter-based reconst

APA, Harvard, Vancouver, ISO und andere Zitierweisen

48

Eldar, Yonina Chana 1973. "Quantum signal processing." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/16805.

Der volle Inhalt der Quelle

Annotation:

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, February 2002.<br>Includes bibliographical references (p. 337-346).<br>This electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.<br>Quantum signal processing (QSP) as formulated in this thesis, borrows from the formalism and principles of quantum mechanics and some of its interesting axioms and constraints, leading to a novel paradigm for signal processing with applications in areas ranging from fr

APA, Harvard, Vancouver, ISO und andere Zitierweisen

49

Golab, Lukasz. "Sliding Window Query Processing over Data Streams." Thesis, University of Waterloo, 2006. http://hdl.handle.net/10012/2930.

Der volle Inhalt der Quelle

Annotation:

Database management systems (DBMSs) have been used successfully in traditional business applications that require persistent data storage and an efficient querying mechanism. Typically, it is assumed that the data are static, unless explicitly modified or deleted by a user or application. Database queries are executed when issued and their answers reflect the current state of the data. However, emerging applications, such as sensor networks, real-time Internet traffic analysis, and on-line financial trading, require support for processing of unbounded data streams. The fundame

APA, Harvard, Vancouver, ISO und andere Zitierweisen

50

MacDonald, Darren T. "Image segment processing for analysis and visualization." Thesis, University of Ottawa (Canada), 2008. http://hdl.handle.net/10393/27641.

Der volle Inhalt der Quelle

Annotation:

This thesis is a study of the probabilistic relationship between objects in an image and image appearance. We give a hierarchical, probabilistic criterion for the Bayesian segmentation of photographic images. We validate the segmentation against the Berkeley Segmentation Data Set, where human subjects were asked to partition digital images into segments each representing a 'distinguished thing'. We show that there exists a strong dependency between the hierarchical segmentation criterion, based on our assumptions about the visual appearance of objects, and the distribution of ground truth data

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!