There was a table set out under a tree in front of the house, and the March Hare and the Hatter were having tea at it: a Dormouse was sitting between them, fast asleep, and the other two were using it ...

Welcome to the Fall 2025 edition of 15-412, Operating System Practicum. Readings page [Last modified Friday January 10, 2025] ...

The Common Lisp facility for generating pseudo-random numbers has been carefully defined to make its use reasonably portable. While two implementations may produce different series of pseudo-random ...

High-profile bugs continue to plague the software industry, leading to major problems in the reliability, safety, and security of systems. This course teaches students how to write bug-free code ...

Planning is one of the core components that enable robots to be autonomous. Robot planning is responsible for deciding in real-time what the robot should do next, how to do it, where the robot should ...

RuleML+RR 2020, International Joint Conference on Rules and Reasoning – PC member Oslo, Norway, 29 June - 1 July 2020 (6 March 2020) RuleML+RR 2019, International Joint Conference on Rules and ...

Artificial Intelligence and its applications, especially knowledge representation and reasoning, planning, natural language understanding and generation. Machine learning, including knowledge-based ...

The course focuses on the geometric aspects of computer vision: The geometry of image formation and its use for 3D reconstruction and calibration. The objective of the course is to introduce the ...