Sciweavers

1252 search results - page 151 / 251
» Comparing and evaluating computer graphics and visualization...
Sort
View
VLSID
2004
IEEE
125views VLSI» more  VLSID 2004»
16 years 3 months ago
Energy-Optimizing Source Code Transformations for OS-driven Embedded Software
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
Yunsi Fei, Srivaths Ravi, Anand Raghunathan, Niraj...
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 3 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
125
Voted
GRAPHITE
2004
ACM
15 years 8 months ago
Augmenting the science centre and museum experience
Recent advances in computer graphics and interactive techniques have increased the visual quality and flexibility of Augmented Reality (AR) applications. This, in turn has increas...
Eric Woods, Mark Billinghurst, Julian Looser, Grah...
137
Voted
SIGOPS
2010
162views more  SIGOPS 2010»
15 years 1 months ago
Visual and algorithmic tooling for system trace analysis: a case study
Despite advances in the application of automated statistical and machine learning techniques to system log and trace data there will always be a need for human analysis of machine...
Wim De Pauw, Steve Heisig
101
Voted
CVPR
2005
IEEE
16 years 5 months ago
Bayesian Super-Resolution of Text in Video with a Text-Specific Bimodal Prior
To increase the range of sizes of video scene text recognizable by optical character recognition (OCR), we developed a Bayesian super-resolution algorithm that uses a text-specifi...
Katherine Donaldson, Gregory K. Myers