7393 search results - page 482 / 1479 » Synthesis-for-testability using transformations |
172
Voted
VISAPP
2007
15 years 7 months ago
2007
The Content Based Image Retrieval (CBIR) has been an active research area. Given a collection of images, it is to retrieve the images based on a query image, which is specified by...
136
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...
175
click to vote
COMSIS
2004
15 years 6 months ago
2004
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
141
click to vote
IS
2002
15 years 6 months ago
2002
In this paper, we explore the possibility of transforming queries with minimum and maximum predicates into equivalent queries that can be computed more efficiently. The main contr...
137
click to vote
LISP
1998
15 years 6 months ago
1998
Abstract. RainbowScheme is a visual stepping system that presents Scheme program’s runtime state using icons, colored environment trees, and colored Scheme code. A Scheme program...