A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality
- Bengt Aspvall
- Yossi Shiloach
- 1979
- FOCS 1979
Publications
9275 results for Computer Science
Semantics of probabilistic programs
- Dexter Kozen
- 1979
- FOCS 1979
An Algorithm for Planning Collision-Free Paths Among Polyhedral Obstacles
- Tomás Lozano-Pérez
- Michael A. Wesley
- 1979
- CACM
Hierarchical relaxation
- W.L. Miranker
- 1979
- Computing
Computing Connected Components on Parallel Computers
- D.S. Hirschberg
- A.K. Chandra
- et al.
- 1979
- CACM
Implicit computation of synchronization primitives
- Richard A. De Millo
- Raymond E. Miller
- 1979
- Information Processing Letters
Portable conformable mask—A hybrid near-ultraviolet and deep-ultraviolet patterning technique
- B.J. Lin
- 1989
- Proceedings of SPIE 1989
Frequency domain storage
- D. Haarer
- 1989
- Proceedings of SPIE 1989
Information and artifact in second-order statistics from computed tomography (ct) images
- Andre J. Duerinckx
- Albert Macovski
- 1989
- Proceedings of SPIE 1989
The application of program verification techniques to hardware verification
- John A. Darringer
- 1979
- DAC 1979