Reasoning about RoboCup soccer narratives
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
The classes of sequences generated by time- and space- restricted multiple counter machines are compared to the corresponding classes generated by similarly restricted multiple tape Turing machines. Special emphasis is placed on the class of sequences generable by machines which operate in real time. Real-time Turing machines are shown to be strictly more powerful than real-time counter machines. A number of questions which remain open for real-time Turing machines are settled for real-time counter machines. © 1970 Academic Press, Inc.
Hannaneh Hajishirzi, Julia Hockenmaier, et al.
UAI 2011
Alfred K. Wong, Antoinette F. Molless, et al.
SPIE Advanced Lithography 2000
Peter Wendt
Electronic Imaging: Advanced Devices and Systems 1990
Jianke Yang, Robin Walters, et al.
ICML 2023