One of the major problems in CBIR is the so-called `semantic gap': the difference between low-level features, extracted from images, and the high-level `information need'...
Walter ten Brinke, David McG. Squire, John Bigelow
: This paper is a tutorial on the principles and applications of static tion by Abstract Interpretation to development, verification and validation ded applications. The topics cov...
Release planning is the process of deciding what to include in future release(s) of a product. In this paper we look at how software architects are involved during release plannin...
Abstract-- We define a framework for what we call potentialbased computing and show how it may be applied to actionmotion applications in general and dynamic games in particular. W...
Abstract In this paper we look at the potential of program specialization techniques in the context of visualization. In particular we look at partial evaluation and pass separatio...