Now showing items 31-38 of 38

  • Quadtree representation and compression of spatial data 

    Yin, Xiang (Brock University, 2010-03-09)
    Spatial data representation and compression has become a focus issue in computer graphics and image processing applications. Quadtrees, as one of hierarchical data structures, basing on the principle of recursive ...
  • ReAlM - a system to manipulate relations 

    Ahmed, Zafor (Brock University, 2010-10-26)
    Given a heterogeneous relation algebra R, it is well known that the algebra of matrices with coefficient from R is relation algebra with relational sums that is not necessarily finite. When a ...
  • RelMDD-A Library for Manipulating Relations Based on MDDs 

    Atampore, Francis (Brock University, 2012-09-18)
    Relation algebras is one of the state-of-the-art means used by mathematicians and computer scientists for solving very complex problems. As a result, a computer algebra system for relation algebras called RelView has ...
  • The Salmon Algorithm - A New Population Based Search Metaheuristic 

    Orth, John (Brock University, 2012-03-02)
    This thesis introduces the Salmon Algorithm, a search meta-heuristic which can be used for a variety of combinatorial optimization problems. This algorithm is loosely based on the path finding behaviour of salmon swimming ...
  • A System for Models of First Order Theories 

    AbdalBari, Anwar (2012-10-12)
    If you want to know whether a property is true or not in a specific algebraic structure,you need to test that property on the given structure. This can be done by hand, which can be cumbersome and erroneous. In addition, ...
  • Towards automated derivation in the theory of allegories 

    Glanfield, Joel. (Brock University, 2008-02-16)
    We provide an algorithm that automatically derives many provable theorems in the equational theory of allegories. This was accomplished by noticing properties of an existing decision algorithm that could be extended ...
  • Using genetic algorithms for the single allocation hub location problem 

    Naeem, Mohammad (Brock University, 2010-10-25)
    Hub location problem is an NP-hard problem that frequently arises in the design of transportation and distribution systems, postal delivery networks, and airline passenger flow. This work focuses on ...
  • Winâ Foy : functional object-oriented programming language 

    Foy, Grant. (Brock University, 2009-01-28)
    This thesis will introduce a new strongly typed programming language utilizing Self types, named Win--*Foy, along with a suitable user interface designed specifically to highlight language features. The need for such a ...