2302 search results - page 243 / 461 » Testing as Abstraction |
138
click to vote
SPIESR
1997
15 years 8 months ago
1997
In this paper we address image retrieval by similarity in multimedia databases. We discuss the generation and use of signatures computed from image content. The proposed technique...
200
click to vote
AE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a new Memetic Algorithm (MA) designed to compute near-optimal solutions for the covering array construction problem. It incorporates several distingui...
170
click to vote
BILDMED
2009
15 years 7 months ago
2009
Abstract. We present a multi-scale approach for non-rigid image registration of tubular tree-like structures such as vessels. Therefore, we consider a Gaussian and a combined morph...
183
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Sledgehammer, a component of the interactive theorem prover Isabelle, finds proofs in higher-order logic by calling the automated provers for first-order logic E, SPASS a...
157
click to vote
DASFAA
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. Publish/subscribe-based messaging systems are used increasingly often as a communication mechanism in data-oriented web applications. Such applications often pose serious...