1047 search results - page 189 / 210 » Searching Without a Heuristic: Efficient Use of Abstraction |
ER
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. In this paper we argue that many of the problems one may experience while visiting websites today may be avoided if their builders adopt a proper methodology for designin...
ICCAD
2007
IEEE
2007
IEEE
Finding linear building-blocks for RTL synthesis of polynomial datapaths with fixed-size bit-vectors
13 years 11 months ago
Abstract: Polynomial computations over fixed-size bitvectors are found in many practical datapath designs. For efficient RTL synthesis, it is important to identify good decompositi...
ER
2008
Springer
13 years 9 months ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...
INTERACT
1997
13 years 9 months ago
1997
Quick access to short, relevant video segments enables efficient use of a digital video library. This study evaluated an interface designed for such access, an interface that allow...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. Support Vector Machines (SVMs) are well-established Machine Learning (ML) algorithms. They rely on the fact that i) linear learning can be formalized as a well-posed opti...