7167 search results - page 37 / 1434 » A Technique for Invariant Generation |
131
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
121
click to vote
SAC
2004
ACM
15 years 7 months ago
2004
ACM
This paper presents specialized code generation techniques and runtime optimizations for developing light-weight XML Web services for embedded devices. The optimizations are imple...
79
Voted
VISUALIZATION
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper presents a novel approach to assist the user in exploring appropriate transfer functions for the visualization of volumetric datasets. The search for a transfer functio...
102
click to vote
HICSS
2009
IEEE
15 years 5 months ago
2009
IEEE
The creative process has been a key topic research over the past century, but it wasn’t until the last decade that creativity became a hot topic of research in the HCI. It is an...
SPIESR
1997
15 years 3 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...