Sciweavers

964 search results - page 136 / 193
» A multimedia retrieval system using speech input
Sort
View
ESWS
2007
Springer
14 years 2 months ago
Intelligent Search in a Collection of Video Lectures
ct In recent years, the use of streamed digital video as a teaching and learning resource has become an increasingly attractive option for many educators as an innovation which exp...
Angela Fogarolli
VRST
2005
ACM
14 years 2 months ago
Dynamic creation of interactive mixed reality presentations
In this paper, we describe a method of dynamic creation of interactive presentations for Mixed Reality environments. The presentations are created automatically for collections of...
Krzysztof Walczak, Rafal Wojciechowski
IFM
2010
Springer
132views Formal Methods» more  IFM 2010»
13 years 6 months ago
From Operating-System Correctness to Pervasively Verified Applications
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
ISMIR
2004
Springer
108views Music» more  ISMIR 2004»
14 years 2 months ago
Comparison Of Features For DP-Matching Based Query-by-Humming System
In this paper, we compared three kinds of similarity measures for DP-matching based query-by-humming music retrieval experiments. First, a DP matching-based algorithm is formulate...
Akinori Ito, Sung-Phil Heo, Motoyuki Suzuki, Shozo...
MM
2003
ACM
118views Multimedia» more  MM 2003»
14 years 1 months ago
PROMISE: peer-to-peer media streaming using CollectCast
We present the design, implementation, and evaluation of PROMISE, a novel peer-to-peer media streaming system encompassing the key functions of peer lookup, peer-based aggregated ...
Mohamed Hefeeda, Ahsan Habib, Boyan Botev, Dongyan...