Complexity of tree automata and logics of programs
- E. Allen Emerson
- Charanjit S. Jutla
- 1999
- SIAM Journal on Computing
Paper
Publications
9289 results for Computer Science
Techniques for increasing the stream capacity of a high-performance multimedia server
- Divyesh Jadav
- Alok N. Choudhary
- et al.
- 1999
- IEEE Transactions on Knowledge and Data Engineering
PaperMining optimized association rules for numeric attributes
- Takeshi Fukuda
- Yasuhiko Morimoto
- et al.
- 1999
- Journal of Computer and System Sciences
PaperFunctional structure of IBM virtual storage operating systems. Part I: influences of dynamic address translation on operating system technology
- Mark A. Auslander
- Joan F. Jaffe
- 1999
- IBM Systems Journal
PaperFabrication of magnetic recording heads and dry etching of head materials
- R. Hsiao
- 1999
- IBM J. Res. Dev
PaperTwo-pass MPEG-2 variable-bit-rate encoding
- Peter H. Westerink
- Rajesh Rajagopalan
- et al.
- 1999
- IBM J. Res. Dev
PaperA scalable parallel algorithm for self-organizing maps with applications to sparse data mining problems
- R.D. Lawrence
- G. Almasi
- et al.
- 1999
- Data Mining and Knowledge Discovery
PaperNIL: a high-level language for distributed systems programming
- Francis N. Parr
- Rob Strom
- 1999
- IBM Systems Journal
PaperMultilevel splitting for estimating rare event probabilities
- Paul Glasserman
- Philip Heidelberger
- et al.
- 1999
- Operations Research
PaperDigital video libraries and the Internet
- 1999
- IEEE Communications Magazine
Paper