Details of image formation theory, including the consideration of dynamic image sequences. The theoretical frameworks for edge detection, feature extraction, and surface description are presented. The relationship between image formation and object features is examined in detail. Advanced computational complexity, intractability, classical probability and information theory, algorithmic information theory, and special topics such as computational algebra, concurrency, semantics, and verification. Advanced Operating Systems.
Course discusses advanced topics and research issues in operating systems.
Topics will be drawn from a variety of operating systems areas such as distributed systems and languages, networking, security and protection, real-time systems, modeling and analysis, etc. Advanced Database Systems. Advanced topics and research areas in information and database systems. Object oriented, deductive, client-server, and heterogeneous databases. Emerging areas, such as main memory databases, data mining, and parallel databases.