Improvements in coverability analysis
- Gil Ratsaby
- Baruch Sterin
- et al.
- 2002
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
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
16 results at Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Linux watch: Hardware platform for wearable computing research
- Noboru Kamijoh
- Tadanobu Inoue
- et al.
- 2001
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Gaze and speech in attentive user interfaces
- Paul P. Maglio
- Teenie Matlock
- et al.
- 2001
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
On the design of personal & communal large information scale appliances
- Daniel M. Russell
- Rich Gossweiler
- 2001
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
High performance numerical computing in java: Language and compiler issues
- Pedro V. Artigas
- Manish Gupta
- et al.
- 2001
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Fast isosurface generation using the cell-edge centered propagation algorithm
- Takayuki Itoh
- Yasushi Yamaguchi
- et al.
- 2001
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)