WeMet: Progress Report on a Pen-based Meeting Support Tool
- Catherine G. Wolf
- James R. Rhyne
- 1992
- CHI 1992
Publications
6796 results for AI
Multi-link-speed network topology design
- P.-C. Chang
- Parviz Kermani
- et al.
- 1992
- Phoenix IPCCC 1992
High-probabilities, model-preference and default arguments
- Hector Geffner
- 1992
- Minds and Machines
The Intractability of Bounded Protocols for On-Line Sequence Transmission over Non-FIFO Channels
- Yishay Mansour
- Baruch Schieber
- 1992
- Journal of the ACM
Nonoblivious Hashing
- Amos Fiat
- Moni Naor
- et al.
- 1992
- Journal of the ACM
Finite State Verifiers I: The Power of Interaction
- Cynthia Dwork
- Larry Stockmeyer
- 1992
- Journal of the ACM
Finite State Verifiers II: Zero Knowledge
- Cynthia Dwork
- Larry Stockmeyer
- 1992
- Journal of the ACM
Sparse Dynamic Programming II: Convex and Concave Cost Functions
- David Eppstein
- Zvi Galil
- et al.
- 1992
- Journal of the ACM
A Little Knowledge Goes a Long Way: Knowledge-Based Derivations and Correctness Proofs for a Family of Protocols
- Joseph Y. Halpern
- Lenore D. Zuck
- 1992
- Journal of the ACM
Sparse Dynamic Programming I: Linear Cost Functions
- David Eppstein
- Zvi Galil
- et al.
- 1992
- Journal of the ACM