295 search results - page 2 / 59 » Automatic Choice of Control Measurements |
CADE
2009
Springer
14 years 5 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
ICASSP
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper presents a measure to verify the quality of automatically aligned phone labels. The measure is based on a similarity cost between automatically generated phonetic segme...
TIP
2010
2010
Automatic Parameter Selection for Denoising Algorithms Using a No-Reference Measure of Image Content
12 years 11 months ago
Across the field of inverse problems in image and video processing, nearly all algorithms have various parameters which need to be set in order to yield good results. In practice, ...
ESANN
2007
13 years 6 months ago
2007
Abstract. In order to explore the social organization of a medieval peasant community before the Hundred Years’ War, we propose the use of an adaptation of the well-known Kohonen...
PROFES
2004
Springer
13 years 10 months ago
2004
Springer
Software measurement forms a sound basis for monitoring software development process and software product quality. Implementing software measurement is, however, difficult and crea...