Publications

3541 results for Mathematical Sciences

An Approach to Expert Control of Interactive Software Systems
- - Chidanand V. Apté
  - Sholom M. Weiss
- 1985
- IEEE TPAMI
Unbounded fan-in circuits and associative functions
- - Ashok K. Chandra
  - Steven Fortune
  - et al.
- 1985
- Journal of Computer and System Sciences
Probabilistic counting algorithms for data base applications
- - Philippe Flajolet
  - G. Nigel Martin
- 1985
- Journal of Computer and System Sciences
Decision procedures and expressiveness in the temporal logic of branching time
- - E.Allen Emerson
  - Joseph Y. Halpern
- 1985
- Journal of Computer and System Sciences
Note on a conjecture of Kojima and Saigal
- - Alan J. Hoffman
- 1985
- Linear Algebra and Its Applications
Optimal precision in the presence of uncertainty
- - Joseph Y Halpern
  - Nimrod Megiddo
  - et al.
- 1985
- Journal of Complexity
A note on minimal covers for sofic systems
- - Mike Boyle
  - Bruce Kitchens
  - et al.
- 1985
- Proceedings of the American Mathematical Society
A probabilistic PDL
- - Dexter Kozen
- 1985
- Journal of Computer and System Sciences
On factored discretizations of the laplacian for the fast solution of Poisson's equation on general regions
- - Werner Liniger
- 1984
- BIT
Optics for machine vision
- - T.C. Strand
- 1989
- Proceedings of SPIE 1989