The CMU Navlab group builds computer-controlled vehicles for automated and assisted driving. Since 1984, we have built a series of robot cars, vans, SUVs, and buses. More recent researches of Navlab ...

(This article was written by Bradley Orner, an engineer and former Amway distributor of 3.5 years.) In the past there have been many postings here dealing with the statistics of success in Amway. Here ...

SEPA readings are from Pressman, Software Engineering: A Practitioner's Approach. They are optional (since the text is optional), but may be a useful supplement to the lectures. Other (non-SEPA) ...

I am interested in the performance analysis and design of computer systems, particularly distributed systems. I use analytical models to capture the important characteristics of a computer system, and ...

Herbert A. Simon's research has ranged from computer science to psychology, administration, and economics, and philosophy. The thread of continuity through all his work has been his interest in human ...

The Marxen-Buntrock 5-state busy beaver. Running on an initially empty tape, the machine appears to be caught in some kind of loop, Yet, it halts after an absolutely astonishing 47,176,870 steps. This ...

Machine Learning is concerned with computer programs that automatically improve their performance through experience (e.g., programs that learn to recognize human faces, recommend music and movies, ...

I am a Ph.D. student in Computer Sience Department at CMU.

I'm an Assistant Teaching Professor in the Computer Science Department in Carnegie Mellon University's School of Computer Science. Before joining the CMU faculty, I was a PhD student in the Center for ...

Localization, that is the estimation of a robot's location from sensor data, is a fundamental problem in mobile robotics. This papers presents a version of Markov localization which provides accurate ...

To anyone who has makes a serious study of Amway and the problems that have for so long plagued it, one thing becomes overwhelmingly obvious: if there is any one primary cause for almost all those ...

Automated reasoning has become a powerful technology with applications ranging from verification of hardware and software to solving long-standing open problems in mathematics. This course covers ...