People: Dr. Faisal Qureshi
Areas: Vision
People: Dr. Jeremy Bradbury
Areas: Software
People: Dr. Faisal Qureshi, Christopher Little
Areas: Vision
People: Dr. Jeremy Bradbury, Dr. James Cordy (Queen's University), Dr. Juergen Dingel (Queen's University)
Areas: Software
Description: To explore the complementary relationship between testing and formal analysis with respect to debugging. We have developed an approach for the assessment of testing and formal analysis tools using metrics to measure the quantity and efficiency of each technique at finding bugs. Specifically we use our experimental mutation analysis framework (ExMAn) to symmetrically compare and evaluate tests versus properties using state-of-the art testing and analysis techniques and tools.
People: Dr. Faisal Qureshi
Areas: Vision
Description: State of the art biomechanical models of the face have shown promise in animation, but they are inadequate for the purposes of craniofacial surgery simulations. The goal of this work is to develop an improved face model, using Cyberware data that captures the external structure and appearance of the face and computed tomography (CT) data which captures the internal structure of the facial soft and hard tissues. We have developed algorithms to (1) register CT and Cyberware datasets, (2) extract from the CT data a skull subsurface which serves as a foundation of the soft-tissue model, and (3) compute the thickness of the skin.
People: Dr. Ken Pu
Areas: Information
Description: Keyword search has been a tremedous success in the Web community. We are interested at building a search engine that supports Google-like keyword search queries for legacy relational databases. The challenge of performing keyword search over relational data is that the search results need to be assembled from multiple tables and tuples. Thus, one must overcome the exponentially large search space. We have developed some interesting algorithms that work well for a family of data warehousing scenarios.
People: Dr. Jeremy Bradbury, Jeffery Falkenham
Areas: Software
People: Dr. Faisal Qureshi
Areas: Vision
People: Dr. Ken Pu
Areas: Information
Description: Radio frequency identification (RFID) is a promising technology for pervasively storing data into everyday articles such as clothing, bag, or even inside the human body. We are experimenting with utilizing the signal strength variation of RFID receivers to statistically infer the maximal likely position of RFID tags. This will enable an array of RFID receivers to collaboratively track the spatial position of moving tags.
People: Dr. Ken Pu
Areas: Information
Description: We are studying the information management and data analysis aspects of sensor networks. Our research lab is equipped with a wide variety of wireless sensor technology, ranging from wireless environmental sensors, power sensors, radio frequency identification (RFID) readers, and remote controlled actuators. Students have been developing software tools ranging from:
People: Dr. Jeremy Bradbury, Kevin Jalbert
Areas: Software
People: Dr. Faisal Qureshi
Areas: Vision
People: Dr. Faisal Qureshi
Areas: Vision