Sciweavers

5608 search results - page 1018 / 1122
» Structure description tools
Sort
View
IAJIT
2010
150views more  IAJIT 2010»
14 years 8 months ago
Optimal DSP Based Integer Motion Estimation Implementation for H.264/AVC Baseline Encoder
: The coding gain of the H.264/AVC video encoder mainly comes from the new incorporated prediction tools. However, their enormous computation and ultrahigh memory bandwidth are the...
Imen Werda, Haithem Chaouch, Amine Samet, Mohamed ...
PVLDB
2008
117views more  PVLDB 2008»
14 years 8 months ago
Interactive source registration in community-oriented information integration
Modern Internet communities need to integrate and query structured information. Employing current information integration infrastructure, data integration is still a very costly e...
Yannis Katsis, Alin Deutsch, Yannis Papakonstantin...
SIGCSE
2008
ACM
153views Education» more  SIGCSE 2008»
14 years 8 months ago
A cross-domain visual learning engine for interactive generation of instructional materials
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...
K. R. Subramanian, T. Cassen
ITP
2010
172views Mathematics» more  ITP 2010»
14 years 8 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
PVLDB
2010
132views more  PVLDB 2010»
14 years 8 months ago
CoDA: Interactive Cluster Based Concept Discovery
Large data resources are ubiquitous in science and business. For these domains, an intuitive view on the data is essential to fully exploit the hidden knowledge. Often, these data...
Stephan Günnemann, Ines Färber, Hardy Kr...
« Prev « First page 1018 / 1122 Last » Next »