Sciweavers

21324 search results - page 110 / 4265
» Making the case for computing
Sort
View
SIGSOFT
2010
ACM
13 years 8 months ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
ICS
2011
Tsinghua U.
13 years 1 months ago
Hystor: making the best use of solid state drives in high performance storage systems
With the fast technical improvement, flash memory based Solid State Drives (SSDs) are becoming an important part of the computer storage hierarchy to significantly improve perfo...
Feng Chen, David A. Koufaty, Xiaodong Zhang
CVPR
2001
IEEE
15 years 6 days ago
A Spherical Eye from Multiple Cameras (Makes Better Models of the World)
This paper describes an imagingsystem that has been designed specifically for the purpose of recovering egomotion and structure from video. The system consists of six cameras in a...
Patrick Baker, Cornelia Fermüller, Yiannis Al...
CVPR
2006
IEEE
15 years 6 days ago
Making a Long Video Short: Dynamic Video Synopsis
The power of video over still images is the ability to represent dynamic activities. But video browsing and retrieval are inconvenient due to inherent spatio-temporal redundancies...
Alex Rav-Acha, Yael Pritch, Shmuel Peleg
CHI
2001
ACM
14 years 10 months ago
What makes Web sites credible?: a report on a large quantitative study
The credibility of web sites is becoming an increasingly important area to understand. To expand knowledge in this domain, we conducted an online study that investigated how diffe...
B. J. Fogg, Jonathan Marshall, Othman Laraki, Alex...