Sciweavers

2351 search results - page 318 / 471
» A Method of Requirement Inconsistency Analysis
Sort
View
ICSE
2010
IEEE-ACM
15 years 2 months ago
STORM: static unit checking of concurrent programs
Concurrency is inherent in today’s software. Unexpected interactions between concurrently executing threads often cause subtle bugs in concurrent programs. Such bugs are hard to...
Zvonimir Rakamaric
CGO
2004
IEEE
15 years 1 months ago
Software-Controlled Operand-Gating
Operand gating is a technique for improving processor energy efficiency by gating off sections of the data path that are unneeded by short-precision (narrow) operands. A method fo...
Ramon Canal, Antonio González, James E. Smi...
78
Voted
CIVR
2006
Springer
117views Image Analysis» more  CIVR 2006»
15 years 1 months ago
Video Clip Matching Using MPEG-7 Descriptors and Edit Distance
Abstract. Video databases require that clips are represented in a compact and discriminative way, in order to perform efficient matching and retrieval of documents of interest. We ...
Marco Bertini, Alberto Del Bimbo, Walter Nunziati
103
Voted
ECCV
2006
Springer
15 years 1 months ago
SIFT and Shape Context for Feature-Based Nonlinear Registration of Thoracic CT Images
Nonlinear image registration is a prerequisite for various medical image analysis applications. Many data acquisition protocols suffer from problems due to breathing motion which h...
Martin Urschler, Joachim Bauer, Hendrik Ditt, Hors...
JCDL
2010
ACM
151views Education» more  JCDL 2010»
15 years 4 days ago
Domain-specific iterative readability computation
We present a new algorithm to measure domain-specific readability. It iteratively computes the readability of domainspecific resources based on the difficulty of domain-specific c...
Jin Zhao, Min-Yen Kan