July 16, 2pm Title: Automated Design of Self-Stabilization Abstract Nowadays, we witness an increasing impact of software system failures due to the growing abundance and steady proliferation of software into our daily activities. Self-stabilization is a property of a distributed system such that, regardless of the legitimacy of its current behavior, the system behavior shall . . .
March 30, 2012, 3:00 PM, Room 214 – Rekhi Hall Title: Generating Automated Usability Tests for User Centered Design The agile approach to software development gives top priority to satisfying the customer through early and continuous delivery of valuable software. A key component of the agile approach is test driven development (TDD), which involves the . . .
Title: An Introduction to Point Cloud Understanding Brian VanVoorst, MTU Alumni & Technical Director of BBN Technologies Thursday, March 22,2012 – 135 Fisher Hall – 2:00 PM Abstract: A point cloud is a collection of 3D points from a 3D sensor such as a LIDAR, stereo camera, or a Microsoft Kinect system. These 3D sensors . . .
Department of Computer Science Seminar February 27, 2012 – 4:04 PM – Room G005 – Rekhi Hall Title: “Fuzzy Kernel Clustering of Large Scale Biomedical and Bioinformatics Data” Dr. Timothy Havens Abstract: Since the early 1990’s, the ubiquity of personal computing technology has produced an abundance of staggeringly large data sets—it is estimated that Facebook . . .