3456 search results - page 368 / 692 » Algorithms for Interface Synthesis |
176
click to vote
DAC
2003
ACM
15 years 12 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 ...
187
click to vote
KCAP
2003
ACM
15 years 12 months ago
2003
ACM
While existing learning techniques can be viewed as inducing programs from examples, most research has focused on rather narrow classes of programs, e.g., decision trees or logic ...
196
click to vote
MM
2003
ACM
15 years 12 months ago
2003
ACM
Music thumbnailing (or music summarization) aims at finding the most representative part of a song, which can be used for web browsing, web searching and music recommendation. Thr...
203
click to vote
SAC
2003
ACM
15 years 12 months ago
2003
ACM
An increasing interest in the design of mobile robots has been observed in recent years, which is mainly motivated by technological advances that may allow their application to co...
176
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...