Full Text Available
Access Full Text at Repository
Search Results - "Dissertations Computer science"
-
A bandwidth market for traffic engineering in telecommunication networks
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
Thesis -
An LTL verification system based on automata theory
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Efficiency issues in the design of a model checker
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Generalized nondeterminism and the succinct representation of regular languages
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
A development environment for reactive systems
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Training, dynamics, and complexity of architecture-specific recurrent neural networks
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
The analytic modelling of DASD subsystems
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
A comparative study of distributed database recovery techniques
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Inductive machine learning bias in knowledge-based neurocomputing
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Interactive voxel terrain design using procedural techniques
Published 2009Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Computer-controlled human body coordination
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
A language to support verification of embedded software
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Resource management in IP networks
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Ontology comprehension
Published 2011Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Learning by cooperation : an approach to rule induction and knowledge fusion
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Automatic detection of image orientation using Support Vector Machines
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Hidden Markov models for on-line signature verification
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Parallelizing a bi-directional chart parser for a multicomputer
Published 2012Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Providing mechanical support for program development in a weakest precondition calculus
Published 2013Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository -
Decision forests for computer Go feature learning
Published 2014Subjects: “…Dissertations -- Computer science…”
Get full text
ThesisFull Text AvailableAccess Full Text at Repository