Sciweavers

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