894 search results - page 124 / 179 » Optimizations for LTL Synthesis |
CORR
2010
Springer
14 years 8 months ago
2010
Springer
This paper focuses on the performance evaluation of the parallel manipulators for milling of composite materials. For this application the most significant performance measurement...
DAC
2003
ACM
15 years 4 months ago
2003
ACM
We present a new technique to examine the trade-off regions of a circuit where its competing performances become “simultaneously optimal”, i.e. Pareto optimal. It is based on ...
97
Voted
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
We present a method for space-time completion of large space-time "holes" in video sequences of complex dynamic scenes. The missing portions are filled-in by sampling sp...
101
click to vote
ICPR
2006
IEEE
16 years 5 days ago
2006
IEEE
The puzzle assembly problem has many application areas such as restoration and reconstruction of archeological findings, repairing of broken objects, solving jigsaw type puzzles, ...
90
Voted
DAC
2006
ACM
16 years 1 days ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...