E. Allen Emerson has a longstanding interest in formal methods for establishing program correctness. This was inspired in part by reading in the mid-1970's a CACM paper by Tony Hoare "Proof of Program ...

My research interests are in the area of machine learning for speech, language, and sound processing. I am particularly interested in multimodality and unsupervised ...

There are two ways numbers are represented internally - integers and floating point numbers. Even though the numbers 1 and 1.0 have the same value their internal representation are very different.

Placed online: Tuesday, November 11 Due: no later than 11 pm, Thursday, December 5 (You CAN use slip days on assignment 11 if you have some left. Some semester do not allow the use of slip days when ...

Mina Huh, a computer science Ph.D. student at UT Austin, has been awarded a Google Ph.D. Fellowship, the company announced on ...

Transfer Learning for Reinforcement Learning Domains: A Survey. Matthew E. Taylor and Peter Stone. Journal of Machine Learning Research, 10(1):1633–1685, 2009.

Grounded Action Transformation for Robot Learning in Simulation. Josiah Hanna and Peter Stone. @InProceedings{AAAI17-Hanna, author = {Josiah Hanna and Peter Stone}, title = {Grounded Action ...

Multiagent Traffic Management: A Reservation-Based Intersection Control Mechanism. Kurt Dresner and Peter Stone. In The Third International Joint Conference on Autonomous Agents and Multiagent Systems ...

TEXPLORE: Real-Time Sample-Efficient Reinforcement Learning for Robots. Todd Hester and Peter Stone. Machine Learning, 90(3):385–429, 2013.

Two Stock-Trading Agents: Market Making and Technical Analysis. Yi Feng, Ronggang Yu, and Peter Stone. In Peyman Faratin, David C. Parkes, Juan A. Rodriguez-Aguilar, and William E. Walsh, editors, ...

Mobile Robot Planning using Action Language BC with an Abstraction Hierarchy. Shiqi Zhang, Fangkai Yang, Piyush Khandelwal, and Peter Stone. In Proceedings of the 13th International Conference on ...