6102 search results - page 52 / 1221 » Generating Optimizing Specializers |
192
click to vote
PEPM
1993
ACM
15 years 11 months ago
1993
ACM
For a functional programming language with a lazy standard semantics, we define a strictness analysis by means of abstract interpretation. Using the information from the strictne...
170
click to vote
CIKM
2001
Springer
16 years 1 days ago
2001
Springer
In a wireless environment, the bandwidth of the channels and the energy of the portable devices are limited. Data broadcast has become an excellent method for efficient data disse...
164
click to vote
ASIAN
2003
Springer
16 years 23 days ago
2003
Springer
Abstract. A coinduction-based technique to generate an optimal monitor from a Linear Temporal Logic (LTL) formula is presented in this paper. Such a monitor receives a sequence of ...
154
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
We present a novel technique CLIP for optimizing both the height and width of CMOS cell layouts in the two-dimensional (2D) style. CLIP is based on integer-linear programming (ILP...
246
Voted
ICMCS
2000
IEEE
15 years 12 months ago
2000
IEEE
In this paper, we propose a novel technique for video summarization based on the Singular Value Decomposition (SVD). For the input video sequence, we create a featureframe matrix ...