Sciweavers

5640 search results - page 746 / 1128
» Parallelizing the Data Cube
Sort
View
FMSD
2002
114views more  FMSD 2002»
15 years 3 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
129
Voted
IJIG
2002
138views more  IJIG 2002»
15 years 3 months ago
A Practical Approach for 3D Building Modeling from Uncalibrated Video Sequences
This paper presents an approach for reconstructing a realistic 3D model of a building from its uncalibrated video sequences taken by a hand-held camera. The novelty of this approa...
Yong Liu, Chengke Wu, Hung-Tat Tsui
FAC
1998
111views more  FAC 1998»
15 years 3 months ago
A Formal Axiomatization for Alphabet Reasoning with Parametrized Processes
In the process-algebraic veri cation of systems with three or more components put in parallel, alphabet axioms are considered to be very useful. These are rules that exploit the i...
Henri Korver, M. P. A. Sellink
131
Voted
SAMOS
2010
Springer
15 years 1 months ago
Interleaving granularity on high bandwidth memory architecture for CMPs
—Memory bandwidth has always been a critical factor for the performance of many data intensive applications. The increasing processor performance, and the advert of single chip m...
Felipe Cabarcas, Alejandro Rico, Yoav Etsion, Alex...
101
Voted
SISAP
2010
IEEE
152views Data Mining» more  SISAP 2010»
15 years 1 months ago
www.MMRetrieval.net: a multimodal search engine
We introduce an experimental search engine for multilingual and multimedia information, employing a holistic web interface and enabling the use of highly distributed indices. Moda...
Konstantinos Zagoris, Avi Arampatzis, Savvas A. Ch...