Sciweavers

658 search results - page 82 / 132
» Slicing Methods Using Static and Dynamic Analysis Informatio...
Sort
View
TIP
2008
199views more  TIP 2008»
14 years 11 months ago
Minimal-Bracketing Sets for High-Dynamic-Range Image Capture
Abstract--This paper considers the problem of high-dynamicrange (HDR) image capture using low-dynamic-range (LDR) cameras. We present three different minimal-bracketing algorithms ...
Neil Barakat, A. Nicholas Hone, Thomas E. Darcie
ISCA
2012
IEEE
208views Hardware» more  ISCA 2012»
13 years 2 months ago
Harmony: Collection and analysis of parallel block vectors
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...
Melanie Kambadur, Kui Tang, Martha A. Kim
KDD
2007
ACM
201views Data Mining» more  KDD 2007»
16 years 7 days ago
Structural and temporal analysis of the blogosphere through community factorization
The blogosphere has unique structural and temporal properties since blogs are typically used as communication media among human individuals. In this paper, we propose a novel tech...
Yun Chi, Shenghuo Zhu, Xiaodan Song, Jun'ichi Tate...
IFL
2004
Springer
122views Formal Methods» more  IFL 2004»
15 years 5 months ago
Source-Based Trace Exploration
Abstract. Tracing a computation is a key method for program comprehension and debugging. Hat is a tracing system for Haskell 98 programs. During a computation a trace is recorded i...
Olaf Chitil
BMCBI
2006
155views more  BMCBI 2006»
14 years 12 months ago
CAVER: a new tool to explore routes from protein clefts, pockets and cavities
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...
Martin Petrek, Michal Otyepka, Pavel Banás,...