Sciweavers

248 search results - page 15 / 50
» acm 1992
Sort
View
POPL
1992
ACM
15 years 10 months ago
Model Checking and Abstraction
Edmund M. Clarke, Orna Grumberg, David E. Long
CHI
1992
ACM
15 years 10 months ago
Anthropomorphism: From Eliza to Terminator 2
Abbe Don, Susan Brennan, Brenda Laurel, Ben Shneid...
COMPGEOM
1992
ACM
15 years 10 months ago
A Rational Rotation Method for Robust Geometric Algorithms
John F. Canny, Bruce Randall Donald, Eugene K. Res...
CSCW
1992
ACM
15 years 10 months ago
BIBDB: A Bibliographic Database for Collaboration
David J. Musliner, James W. Dolter, Kang G. Shin
DAC
1992
ACM
15 years 10 months ago
On the Circuit Implementation Problem
Wing Ning Li, Andrew Lim, Prathima Agrawal, Sartaj...