An Approach to Expert Control of Interactive Software Systems
- Chidanand V. Apté
- Sholom M. Weiss
- 1985
- IEEE TPAMI
Publications
3593 results for Mathematical 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
A probabilistic PDL
- Dexter Kozen
- 1985
- Journal of Computer and System Sciences
Decreasing the nesting depth of expressions involving square roots
- Allan Borodin
- Ronald Fagin
- et al.
- 1985
- Journal of Symbolic Computation
A survey of Lanczos procedures for very large real 'symmetric' eigenvalue problems
- Jane Cullum
- Ralph A. Willoughby
- 1985
- J. Comput. Appl. Math.
Probabilistic counting algorithms for data base applications
- Philippe Flajolet
- G. Nigel Martin
- 1985
- Journal of Computer and System Sciences
On the spectral radius of (0,1)-matrices
- R.A. Brualdi
- A.J. Hoffman
- 1985
- Linear Algebra and Its Applications
A note on minimal covers for sofic systems
- Mike Boyle
- Bruce Kitchens
- et al.
- 1985
- Proceedings of the American Mathematical Society
Computing n(X) the meissel-lehmer method
- J.C. Lagarias
- A.M. Odlyzko
- et al.
- 1985
- Mathematics of Computation
On the solution of certain systems of partial difference equations and linear dependence of translates of box splines
- Wolfgang Dahmen
- Charles A. Micchelli
- 1985
- Trans. Am. Math. Soc.