0-1 Laws and decision problems for fragments of second-order logic
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1990
- Information and Computation
Paper
Publications
9296 results for Computer Science
Flipping persuasively in constant time
- Cynthia Dwork
- David Shmoys
- et al.
- 1990
- SIAM Journal on Computing
PaperOn-chip wiring for VLSI. Status and directions
- M.B. Small
- D.J. Pearson
- 1990
- IBM J. Res. Dev
PaperMaximum A Posteriori Decision and Evaluation of Class Probabilities by Boltzmann Perceptron Classifiers
- Eyal Yair
- Allen Gersho
- 1990
- Proceedings of the IEEE
PaperAnalysis of Replication in Distributed Database Systems
- Bruno Ciciani
- Daniel M. Dias
- et al.
- 1990
- IEEE TKDE
PaperLogic programming with sets
- Gabriel M. Kuper
- 1990
- Journal of Computer and System Sciences
PaperDesign of low-temperature thermal chemical vapor deposition processes
- D.B. Beach
- 1990
- IBM J. Res. Dev
PaperA theory of compaction-based parallelization
- Alexander Aiken
- 1990
- Theoretical Computer Science
PaperLow-temperature Si and Si:Ge epitaxy by ultrahigh-vacuum/chemical vapor deposition. Process fundamentals
- B.S. Meyerson
- 1990
- IBM J. Res. Dev
PaperEvaluating computer-generated domain-oriented vocabularies
- Fred J. Damerau
- 1990
- Inf. Process. Manage.
Paper