4042 search results - page 31 / 809 » The EXODUS Optimizer Generator |
ASIAN
2003
Springer
15 years 2 months 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 ...
62
Voted
DAC
1997
ACM
15 years 1 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...
86
Voted
ICMCS
2000
IEEE
15 years 2 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 ...
113
click to vote
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
1 In multi-agent systems (MAS), coalition formation is typically studied using characteristic function game (CFG) representations, where the performance of any coalition is indepen...
EDBT
2009
ACM
15 years 2 months ago
2009
ACM
As a result of the changing scope of data management towards the management of highly distributed systems and applications, integration processes have gained in imporuch integrati...