6693 search results - page 955 / 1339 » Methods of Automatic Algorithm Generation |
144
click to vote
JAR
1998
15 years 4 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
105
click to vote
KDD
2008
ACM
16 years 4 months ago
2008
ACM
A common task in many text mining applications is to generate a multi-faceted overview of a topic in a text collection. Such an overview not only directly serves as an informative...
115
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
It is important to maintain high efficiency when charging electrical energy storage elements so as to achieve holistic optimization from an energy generation source (e.g., a solar...
222
click to vote
CVPR
2009
IEEE
16 years 12 months ago
2009
IEEE
Belief propagation (BP) is an effective algorithm for solving energy minimization problems in computer vision. However, it requires enormous memory, bandwidth, and computation beca...
150
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: There are many important clustering questions in computational biology for which no satisfactory method exists. Automated clustering algorithms, when applied to large,...