Sciweavers

5608 search results - page 71 / 1122
» Structure description tools
Sort
View
MMM
2005
Springer
152views Multimedia» more  MMM 2005»
15 years 3 months ago
Semantic Video Summarization Using Mutual Reinforcement Principle and Shot Arrangement Patterns
We propose a novel semantic video summarization framework, which generates video skimmings that guarantee both the balanced content coverage and the visual coherence. First, we co...
Shi Lu, Michael R. Lyu, Irwin King
TEX
2004
Springer
207views Latex» more  TEX 2004»
15 years 3 months ago
Arabic Mathematical e-Documents
What problems do e-documents with mathematical expressions in an Arabic presentation present? In addition to the known difficulties of handling mathematical expressions based on L...
Mustapha Eddahibi, Azzeddine Lazrek, Khalid Sami
ICRA
1999
IEEE
82views Robotics» more  ICRA 1999»
15 years 2 months ago
An Investigation into Non-Smooth Locomotion
We analyze a class of mechanisms that locomote by switching between constraints. Because of the hybrid nature of such systems, most of the existing analysis tools, developed prima...
Milos Zefran, Francesco Bullo, Jim Radford
IPPS
1998
IEEE
15 years 2 months ago
Mechanically Verifying the Correctness of the Fast Fourier Transform in ACL2
In [10], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms. In particular, Misra showed how powerlists could be use...
Ruben Gamboa
WEBDB
1999
Springer
196views Database» more  WEBDB 1999»
15 years 2 months ago
Web Ecology: Recycling HTML Pages as XML Documents Using W4F
In this paper we present the World-Wide Web Wrapper Factory (W4F), a Java toolkit to generate wrappers for Web data sources. Some key features of W4F are an expressive language to...
Arnaud Sahuguet, Fabien Azavant