Sciweavers

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