6693 search results - page 26 / 1339 » Methods of Automatic Algorithm Generation |
CP
2001
Springer
15 years 2 months ago
2001
Springer
This paper presents a survey of the use of resolution in propositional satisfiability, and some preliminary results from the implementation of a hybrid resolution and search algor...
DAC
1996
ACM
15 years 1 months ago
1996
ACM
The development of new Field-Programmed, MaskProgrammed and Laser-Programmed Gate Array architectures is hampered by the lack of realistic test circuits that exercise both the arc...
GECCO
2009
Springer
15 years 4 months ago
2009
Springer
The generation of profitable trading rules for Foreign Exchange (FX) investments is a difficult but popular problem. The use of Machine Learning in this problem allows us to obtai...
DPHOTO
2009
14 years 7 months ago
2009
In this paper, we present a novel method for generating a background model from a sequence of images with moving objects. Our approach is based on non-parametric statistics and ro...
118
click to vote
EMNLP
2010
14 years 7 months ago
2010
This paper proposes a method for automatically inserting commas into Japanese texts. In Japanese sentences, commas play an important role in explicitly separating the constituents...