Searching for:
Found 3,434 results
sorted by:
Pages: 1 2 3 ...
Jacob Ziv, Abraham Lempel : A universal algorithm for sequential data compression. IEEE Transactions on Information Theory (TIT) 23(3):337-343 (1977)
Rod M. Burstall, John Darlington : A Transformation System for Developing Recursive Programs. J. ACM (JACM) 24(1):44-67 (1977)
Leslie Lamport : Proving the Correctness of Multiprocess Programs. IEEE Trans. Software Eng. (TSE) 3(2):125-143 (1977)
Benjamin Kuipers : Modeling Spatial Knowledge. IJCAI 1977
Berthold K. P. Horn : Understanding Image Intensities. Artif. Intell. (AI) 8(2):201-231 (1977)
Ronald Fagin : Multivalued Dependencies and a New Normal Form for Relational Databases. ACM Trans. Database Syst. (TODS) 2(3):262-278 (1977)
Gary G. Hendrix, Earl D. Sacerdoti, Daniel Sagalowicz, Jonathan Slocum : Developing a Natural Language Interface to Complex Data. VLDB 1977
Richard H. Granger : FOUL-UP: A Program that Figures Out Meanings of Words from Context. IJCAI 1977
(search: 0.003 sec. - facets: 0.012 sec.) (?)
Pages: 1 2 3 ...

Refine by VENUE:

show:

Refine by YEAR:

show:
[No canvas support]