Computationally hard search and optimization problems are ubiquitous in science, engineering andbusiness. Examples include drug design, protein folding, phylogeny reconstruction, hardware andsoftware design, test generation and verification, planning, timetabling, scheduling and on and on. Inrare cases, practical application-specific software exists, but most often development of successfulmethods requires hiring specialists, and often significant time and expense, […]

We are interested in understanding the power and limitations of families of algorithms for solving combinatorial search problems, in particular those whose decision versions are NP-complete.   In some application areas involving such problems, the state of the art involves representing a problem instance as a formula of propositional logic (or a natural extension, typical examples […]

To perform changes to large software systems correctly, software developers must communicate efficiently and effectively about the intended change and must perform the technical work associated with the change precisely and completely. Currently, as developers collaborate with each other and interact with the many artifacts involved in a software change task, they must work frequently […]

The Curious George project aims to construct a spatial-semantic modeling system featuring automated learning of object appearance and object-place relations from online annotated database, and the application of these relations to a variety of real-world tasks. The physical system currently developed at UBC, a visually guided mobile robot, can recognize objects in an environment based […]

Field-Programmable Gate Arrays (FPGAs) have become the implementation medium of choice for many digital circuits in areas as diverse as telecommunications, bioinformatics, visualization systems, and digital signal processing. One of the few areas where FPGAs have not yet become ubiquitous is in mobile applications.This application area is huge; together with cloud computing, we expect that […]

The prevalent use of signature-based approach in modern intrusion detection systems (IDS) emphasizes the importance of two issues associated with the performance of the approach: the rigid requirements for signature processing and the quality of signature set. The focus of this research project is on improving performance of signature-based intrusion detection. The signature-based intrusion detection […]

Over the last ten years, the needs of industry have made data mining one of the most important facets of Information Technology (IT). In simple terms, data mining is the automatic process of extracting interrelationships and patterns of interest from data. Today, companies around the world rely on data mining not only to discover knowledge […]

This is an extension of our research project, Network Connectivity in Vehicular Ad Hoc Networks, which involved a MITACS Globalink intern student in Summer 2010. Vehicular networks, in either vehicle-to-vehicle (V2V) or vehicle-to-infrastructure(V2I) forms, have the potential to considerably improve road safety, travel comfort and trip efficiency, and have attracted a lot of attention from […]

  The goal of this project is to design and implement new algorithms for factoring polynomials in more than one variable with coefficients which involve algebraic numbers such as the sqrt(2) and algebraic functions such as sqrt(1-c^2).  Our goal is to find new algorithms which are efficient in practice so that scientists and engineers can […]

The project deals with the better indexing of text fields in the database. It explores an idea of on-line maintenance of an inverted index, which is built for the tokens of the text content in the database. The on-line update of such an index is currently considered impractical. We try to overcome this inverted index […]

  Navigation interfaces (such as scrolling, zooming, and panning) are the key components that help users move between different views on a document. The project’s goal is to enhance current user interfaces for collaborative search tasks. Initially, we will use spatial documents (ie, maps) to explore potential enhancements. We will also provide visual features, to […]

  The aim of this project is to experimentally assess and evaluate the strengths and weaknesses of cloud computing in relation to data centric enterprise applications requiring real-time user interaction.  This research will consist of two major phases.   In the first phase, the goal is to deploy and evaluate a significant existing enterprise application, i.e. […]