Conference paper
Reasoning about Noisy Sensors in the Situation Calculus
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
PTRAN (Parallel TRANslator) is a system for automatically restructuring sequential FORTRAN programs for execution on parallel architectures. This paper describes PTRAN-A: the currently operational analysis phase of PTRAN. The analysis is both broad and deep, incorporating interprocedural information into dependence analysis. The system is organized around a persistent database of program and procedure information. PTRAN incorporates several new, fast algorithms in a pragmatic design. © 1988.
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995
Barry K. Rosen
SWAT 1972
Leonid Karlinsky, Joseph Shtok, et al.
CVPR 2019
P. Trespeuch, Y. Fournier, et al.
Civil-Comp Proceedings