Logic programming with sets
- Gabriel M. Kuper
- 1990
- Journal of Computer and System Sciences
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
8893 results for Computer Science
A theory of compaction-based parallelization
- Alexander Aiken
- 1990
- Theoretical Computer Science
Simulation of embedded memories by defective hashing
- Leendert M. Huisman
- 1990
- IBM J. Res. Dev
Distributed application support: Survey and synthesis of existing approaches
- A Schill
- 1990
- Information and Software Technology
Maximum A Posteriori Decision and Evaluation of Class Probabilities by Boltzmann Perceptron Classifiers
- Eyal Yair
- Allen Gersho
- 1990
- Proceedings of the IEEE
Ranking intervals under visibility constraints
- Herbert Edelsbrunner
- Mark H. Overmars
- et al.
- 1990
- International Journal of Computer Mathematics
Intelligent interface design: An empirical assessment of knowledge presentation in expert systems
- Donna M. Lamberti
- William A. Wallace
- 1990
- MIS Quarterly: Management Information Systems
Time complexity gap for two-way probabilistic finite-state automata
- Cynthia Dwork
- Larry Stockmeyer
- 1990
- SIAM Journal on Computing
0-1 Laws and decision problems for fragments of second-order logic
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1990
- Information and Computation
Low-temperature Si and Si:Ge epitaxy by ultrahigh-vacuum/chemical vapor deposition. Process fundamentals
- B.S. Meyerson
- 1990
- IBM J. Res. Dev