229 search results - page 9 / 46 » Assessing, Comparing, and Combining Statechart- based testin... |
CADE
2011
Springer
12 years 7 months ago
2011
Springer
Deduction modulo is a generic framework to describe proofs in a theory better than using raw axioms. This is done by presenting the theory through rules rewriting terms and proposi...
JCP
2008
13 years 7 months ago
2008
This paper presents a successful lab simulation experience to teach signal modulation and demodulation concepts in communication and computer networks to computer science and compu...
BIOINFORMATICS
2011
13 years 2 months ago
2011
Motivation: Over the recent years, the vision that RNA simply serves as information transfer molecule has dramatically changed. The study of the sequence/structure/function relati...
JEI
2007
13 years 7 months ago
2007
Abstract. A number of successful tone mapping operators for contrast compression have been proposed due to the need to visualize high dynamic range (HDR) images on low dynamic rang...
CVPR
2012
IEEE
11 years 10 months ago
2012
IEEE
In this paper, we present an efficient general-purpose objective no-reference (NR) image quality assessment (IQA) framework based on unsupervised feature learning. The goal is to...