3456 search results - page 544 / 692 » Algorithms for Interface Synthesis |
104
Voted
TACAS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We present the FocusCheck model-checking tool for the verification and easy debugging of assertion violations in sequential C programs. The main functionalities of the t...
109
click to vote
CVDB
2004
ACM
15 years 7 months ago
2004
ACM
Video document retrieval is now an active part of the domain of multimedia retrieval. However, unlike for other media, the management of a collection of video documents adds the p...
137
click to vote
ISLPED
2004
ACM
15 years 7 months ago
2004
ACM
Traditionally, dynamic voltage scaling (DVS) techniques have focused on minimizing the processorenergy consumption as opposed to the entire system energy consumption. The slowdown...
105
click to vote
IUI
2004
ACM
15 years 7 months ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
127
Voted
MM
2004
ACM
15 years 7 months ago
2004
ACM
Music video (MV) is a short film meant to present a visual representation of a popular music song. In this paper, we present a system that automatically generates MV-like videos f...