Log in

Relevant bibliographies by topics / SLAM (Computer program language) / Dissertations / Theses

To see the other types of publications on this topic, follow the link: SLAM (Computer program language).

Dissertations / Theses on the topic 'SLAM (Computer program language)'

Author: Grafiati

Published: 4 June 2021

Last updated: 19 February 2022

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

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'SLAM (Computer program language).'

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

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

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

1

Cornwall, Maxwell W. "MEEBS a model for multi-echelon evaluation by simulation /." Thesis, Monterey, California : Naval Postgraduate School, 1990. http://handle.dtic.mil/100.2/ADA237099.

Full text

Abstract:

Thesis (M.S. in Management)--Naval Postgraduate School, June 1990.<br>Thesis Advisor(s): McMasters, Alan W. ; Bailey, Michael P. "June 1990." Description based on signature page as viewed on October 21, 2009. DTIC Identifier(s): Computerized simulation, logistics management. Author(s) subject terms: Multi-echelon, simulation, SLAM II, models. Includes bibliographical references (p. 142-147). Also available in print.

APA, Harvard, Vancouver, ISO, and other styles

2

Kiang, Kai-Ming Mechanical &amp Manufacturing Engineering Faculty of Engineering UNSW. "Natural feature extraction as a front end for simultaneous localization and mapping." Awarded by:University of New South Wales. School of Mechanical and Manufacturing Engineering, 2006. http://handle.unsw.edu.au/1959.4/26960.

Full text

Abstract:

This thesis is concerned with algorithms for finding natural features that are then used for simultaneous localisation and mapping, commonly known as SLAM in navigation theory. The task involves capturing raw sensory inputs, extracting features from these inputs and using the features for mapping and localising during navigation. The ability to extract natural features allows automatons such as robots to be sent to environments where no human beings have previously explored working in a way that is similar to how human beings understand and remember where they have been. In extracting natural

APA, Harvard, Vancouver, ISO, and other styles

3

Cunningham, Alexander G. "Scalable online decentralized smoothing and mapping." Diss., Georgia Institute of Technology, 2014. http://hdl.handle.net/1853/51848.

Full text

Abstract:

Many applications for field robots can benefit from large numbers of robots, especially applications where the objective is for the robots to cover or explore a region. A key enabling technology for robust autonomy in these teams of small and cheap robots is the development of collaborative perception to account for the shortcomings of the small and cheap sensors on the robots. In this dissertation, I present DDF-SAM to address the decentralized data fusion (DDF) inference problem with a smoothing and mapping (SAM) approach to single-robot mapping that is online, scalable and consistent while

APA, Harvard, Vancouver, ISO, and other styles

4

Joubert, Daniek. "Adaptive occupancy grid mapping with measurement and pose uncertainty." Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/71911.

Full text

Abstract:

Thesis (MSc)--Stellenbosch University, 2012.<br>ENGLISH ABSTRACT: In this thesis we consider the problem of building a dense and consistent map of a mobile robot’s environment that is updated as the robot moves. Such maps are vital for safe and collision-free navigation. Measurements obtained from a range sensor mounted on the robot provide information on the structure of the environment, but are typically corrupted by noise. These measurements are also relative to the robot’s unknown pose (location and orientation) and, in order to combine them into a world-centric map, pose estimation i

APA, Harvard, Vancouver, ISO, and other styles

5

Rimmasch, Kathryn. "A Process-Based CALL Assessment: A Comparison of Input Processing and Program Use Behavior by Activity Type." Diss., CLICK HERE for online access, 2007. http://contentdm.lib.byu.edu/ETD/image/etd2220.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Wendt, N. Rodney. "Applications of program understanding and rule-based quality assurance to Slam II simulation programs." Thesis, University of Ottawa (Canada), 1993. http://hdl.handle.net/10393/6893.

Full text

Abstract:

With the advance of time, our inventory of simulation programs has and continues to accumulate. To maximize the return on our investment of time and money into these software systems, it is advantageous for us to reuse software components as much as possible. For example, previously engineered simulation models can often be reused and exercised under a new set of experimental conditions. Before a software component can be reused, the analyst must learn and understand its functionality. This learning process is often made unnecessarily difficult due to incomplete documentation. Another contribu

APA, Harvard, Vancouver, ISO, and other styles

7

Shepherd, David. "Natural language program analysis combining natural language processing with program analysis to improve software maintenance tools /." Access to citation, abstract and download form provided by ProQuest Information and Learning Company; downloadable PDF file, 176 p, 2007. http://proquest.umi.com/pqdweb?did=1397920371&sid=6&Fmt=2&clientId=8331&RQT=309&VName=PQD.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Chou, Robert Shih-pei. "A program design language for COBOL." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/13200.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Richardson, Joel E. "E a persistent systems implementation language /." Madison, Wis. : University of Wisconsin-Madison, Computer Sciences Dept, 1989. http://catalog.hathitrust.org/api/volumes/oclc/20839601.html.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Gordon, Christopher Todd. "A visual language for ADA program unit specifications." Thesis, This resource online, 1990. http://scholar.lib.vt.edu/theses/available/etd-06232009-063007/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

Martin, Walter E. "Cview, a graphical program generator for the C programming language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10224.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Yessenov, Kuat T. "A lightweight specification language for bounded program verification." Thesis, Massachusetts Institute of Technology, 2009. http://hdl.handle.net/1721.1/53184.

Full text

Abstract:

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (p. 63-64).<br>This thesis presents a new light-weight specification language called JForge Specification Language (JFSL) for object-oriented languages such as Java. The language is amenable to bounded verification analysis by a tool called JForge that interprets JFSL specifications, fully integrates with a mainstream development environment, and assists programmers in examining counter example trace

APA, Harvard, Vancouver, ISO, and other styles

13

Leoutsarakos, Nikolaos. "A context sensitive command language /." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63274.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Gibson, Barbara Brunner. "Ada as a design specification language /." Online version of thesis, 1988. http://hdl.handle.net/1850/10215.

Full text

APA, Harvard, Vancouver, ISO, and other styles

15

Ouren, Leslie Serine. "Integrating computer software within the Houghton Mifflin Language Arts program." CSUSB ScholarWorks, 2005. https://scholarworks.lib.csusb.edu/etd-project/2918.

Full text

Abstract:

This project was created for third grade teachers who use the Houghton Mifflin Language Arts series and want to integrate computer software into their writing curriculum. The website created includes all the writing assignments that the students are to complete and the required software used to complete the assignment.

APA, Harvard, Vancouver, ISO, and other styles

16

Koh, Kyu Han Seals Cheryl D. "PineHill a novel approach to computer aided language learning /." Auburn, Ala., 2007. http://hdl.handle.net/10415/1365.

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

Trachsel, Anne Roberta. "L-EQUEL : an embedded query language for Franz LISP." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9884.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Yildiz, Faruk. "Implementation of a human avatar for the MARG project in networked virtual environments." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://library.nps.navy.mil/uhtbin/hyperion/04Mar%5FYildiz.pdf.

Full text

Abstract:

Thesis (M.S. in Modeling, Virtual Environments and Simulation (MOVES))--Naval Postgraduate School, March 2004.<br>Thesis advisor(s): Xiaoping Yun. Includes bibliographical references (p. 61-62). Also available online.

APA, Harvard, Vancouver, ISO, and other styles

19

Calnan, Paul W. "EXTRACT, Extensible Transformation and Compiler Technology." Link to electronic thesis, 2003. http://www.wpi.edu/Pubs/ETD/Available/etd-0429103-152947.

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

Pimentel, Richard. "Direct Simulation from a Model Specification Language." DigitalCommons@USU, 1986. https://digitalcommons.usu.edu/etd/6985.

Full text

Abstract:

The purpose of this thesis was to develop a program that would accept, as input, a finite set of algebraic equations and simple if-then conditional expressions that model a natural system, and then produce a continuous computer simulation with graphics and tabular output. The equations and conditionals can be in any order and key elements can be missing. The program can be used to run existing models or as a development tool to produce immediate prototypic computer simulations through synergistic man-machine interactions. The theoretical aspects of automatic program generation were discussed,

APA, Harvard, Vancouver, ISO, and other styles

21

Miller, Ruane. "A study of PostScript as a graphics programming language /." Online version of thesis, 1988. http://hdl.handle.net/1850/11483.

Full text

APA, Harvard, Vancouver, ISO, and other styles

22

Chan, Chi-hown Johnny. "Implementation of computer simulation software in learning low-level computer language : a case study /." Hong Kong : University of Hong Kong, 2001. http://sunzi.lib.hku.hk/hkuto/record.jsp?B24700770.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Bull, Tim. "Software maintenance by program transformation in a wide spectrum language." Thesis, Durham University, 1994. http://etheses.dur.ac.uk/5494/.

Full text

Abstract:

This thesis addresses the software maintenance problem of extracting high-level designs from code. The investigated solution is to use a mathematically-based formal program transformation system. The resulting tool, the Maintainer's Assistant, is based on Ward's [177] WSL (wide spectrum language) and method of proving program equivalence. The problems addressed include: how to reverse engineer from code alone (the only reliable source of information about a program [158]), how to express program transformations within the system, what kinds of transformations should be incorporated, how to mak

APA, Harvard, Vancouver, ISO, and other styles

24

Kenyon, John L. "CHIMP the C/C++ hybrid imperative meta-programmer /." abstract and full text PDF (free order & download UNR users only), 2008. http://0-gateway.proquest.com.innopac.library.unr.edu/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:1453647.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Nagulakonda, Vikram. "Assertion seeding development of program instrumentation through iterative formal analysis /." Morgantown, W. Va. : [West Virginia University Libraries], 1999. http://etd.wvu.edu/templates/showETD.cfm?recnum=1080.

Full text

Abstract:

Thesis (M.S.)--West Virginia University, 1999.<br>Title from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).

APA, Harvard, Vancouver, ISO, and other styles

26

Tollefson, Bradley A. "The J-shell command language interpreter." Virtual Press, 1985. http://liblink.bsu.edu/uhtbin/catkey/506686.

Full text

Abstract:

A command language interpreter (CLI) translates commands entered by the user into system actions. The shell is a specific type of CLI that was originally designed and used with UNIX operating systems.The author proposes to design and implement a shell-like CLI on top of the VMS operating system. The shell will enhance VMS features by providing an easier to use syntax and by providing features that are not currently available through VMS. These features include piping facilities and the ability to enter and/or reference multiple commands from a single command line. A language reference manual i

APA, Harvard, Vancouver, ISO, and other styles

27

Mosca, Peter. "A study of Ada and C in concurrent programming." Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1991. http://www.kutztown.edu/library/services/remote_access.asp.

Full text

Abstract:

Thesis (M.S.)--Kutztown University of Pennsylvania, 1991.<br>Source: Masters Abstracts International, Volume: 45-06, page: 3190. Abstract precedes thesis as [1] preliminary leaf. Typescript. Includes bibliographical references (leaf 54).

APA, Harvard, Vancouver, ISO, and other styles

28

Motwani, Manjula H. "An Occam2 implementation of Prolog /." Online version of thesis, 1994. http://hdl.handle.net/1850/12175.

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

Barrett, Kirk. "A program development system using an attribute grammar." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9821.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

Yu, Henry 1961. "HPSIMC: AHPL SIMULATOR IMPLEMENTED IN C LANGUAGE (PARSER, SOFTWARE)." Thesis, The University of Arizona, 1986. http://hdl.handle.net/10150/291313.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

Wright, Madeleine. "A detailed investigation of interoperability for web services." Thesis, Rhodes University, 2006. http://hdl.handle.net/10962/d1004832.

Full text

Abstract:

The thesis presents a qualitative survey of web services' interoperability, offering a snapshot of development and trends at the end of 2005. It starts by examining the beginnings of web services in earlier distributed computing and middleware technologies, determining the distance from these approaches evident in current web-services architectures. It establishes a working definition of web services, examining the protocols that now seek to define it and the extent to which they contribute to its most crucial feature, interoperability. The thesis then considers the REST approach to web servic

APA, Harvard, Vancouver, ISO, and other styles

32

Chow, Kent. "GPLOT : a language for plotting graphs." Thesis, McGill University, 1985. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=66062.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Firth, Michael Anthony. "A fold/unfold transformation system for a non-strict language." Thesis, University of York, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280416.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Lindstrom, Lowell Richard. "The implementation of a SIMULA compiler on the Kansas State University Perkin-Elmer computers." Thesis, Kansas State University, 1986. http://hdl.handle.net/2097/9934.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

Parsa, Saeed. "Design and specification of a program specification language for engineering applications." Thesis, University of Salford, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.357026.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

Marsh, David William Roff. "Program refinement using a universal law : language specification and prototype tool." Thesis, University of Southampton, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.312873.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Barrett, Mark Douglas. "Teaching language arts in third grade with HyperStudio, an interactive computer program." CSUSB ScholarWorks, 1991. https://scholarworks.lib.csusb.edu/etd-project/849.

Full text

APA, Harvard, Vancouver, ISO, and other styles

38

Vorvick, Janet. "Evaluable Functions in the Godel Programming Language: Parsing and Representing Rewrite Rules." PDXScholar, 1995. https://pdxscholar.library.pdx.edu/open_access_etds/5195.

Full text

Abstract:

The integration of a functional component into a logic language extends the expressive power of the language. One logic language which would benefit from such an extension is Godel, a prototypical language at the leading edge of the research in logic programming. We present a modification of the Godel parser which enables the parsing of evaluable functions in Godel. As the first part of an extended Godel, the parser produces output similar to the output from the original Godel parser, ensuring that Godel modules are properly handled by the extended-Godel parser. Parser output is structured to

APA, Harvard, Vancouver, ISO, and other styles

39

Pope, Bernard James. "A declarative debugger for Haskell /." Connect to thesis, 2006. http://eprints.unimelb.edu.au/archive/00003290.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Coleman, Jesse J. "The design, construction, and implementation of an engineering software command processor and macro compiler /." Online version of thesis, 1995. http://hdl.handle.net/1850/12219.

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

Widjaja, Hendra. "Visor++ : a software visualisation tool for task-parallel object-orientated programs." Title page, abstract and contents only, 1998. http://web4.library.adelaide.edu.au/theses/09AS/09asw639.pdf.

Full text

Abstract:

Bibliography: leaves 173-184. This thesis describes Visor++, a tool for visualising programs written in CC++, a task-parallel, object-orientated language derived from C++. Visor++ provides a framework of visualising task-parallel object-orientated programs in the absence of language support for visualisation, i.e. for programs such as CC++ which are written in languages which are not "visualisation-conscious". The development of techniques using a wide selection of language features are described and the effectiveness testified by experimentation.

APA, Harvard, Vancouver, ISO, and other styles

42

Haugh, J. Steven. "The design of a virtual fact base for Prolog." Master's thesis, This resource online, 1991. http://scholar.lib.vt.edu/theses/available/etd-02022010-020103/.

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

Gunnlaugsson, Bjorgvin. "Concurrency and sharing in prolog and in a picture editor for aldat." Thesis, McGill University, 1987. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=63864.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Duffy, Sandra Lee. "PEDIT-- a resident structure editor for PROLOG." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9833.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Librers, Joseph. "A module declaration generator." Thesis, Kansas State University, 1985. http://hdl.handle.net/2097/9861.

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

Laliberté, Normand. "Design and implementation of a primary memory version of ALDAT, including recursive relations." Thesis, McGill University, 1986. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=65497.

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

Dodge, Nathan. "Course development for a college Java programming class." [Denver, Colo.] : Regis University, 2005. http://165.236.235.140/lib/NDodge2005.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

Schmitt, Susan M. "A critical examination of the relationship between the memory requirements of structured BASIC and unstructured BASIC." Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1985. http://www.kutztown.edu/library/services/remote_access.asp.

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

Wang, Jian. "Pointer analysis in Java programs using execution path information /." View abstract or full-text, 2008. http://library.ust.hk/cgi/db/thesis.pl?CSED%202008%20WANG.

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

黃介亮 and Kai-leung Adam Wong. "On improving the alternation construct in occam." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 1996. http://hub.hku.hk/bib/B31213741.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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