Sciweavers

8949 search results - page 105 / 1790
» is 1998
Sort
View
IUI
1998
ACM
15 years 10 months ago
Interacting in Chaos
Dan R. Olsen
CADE
1998
Springer
15 years 10 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
MM
1998
ACM
69views Multimedia» more  MM 1998»
15 years 10 months ago
An Intelligent Media Browser Using Automatic Multimodal Analysis
Jonathan Foote, John S. Boreczky, Andreas Girgenso...