6693 search results - page 128 / 1339 » Methods of Automatic Algorithm Generation |
138
click to vote
CADE
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. We extend our previous study of the automatic construction of isomorphic classification theorems for algebraic domains by considering the isotopy equivalence relation. Is...
183
click to vote
CSSE
2008
IEEE
15 years 11 months ago
2008
IEEE
—At present, Web services are created and updated on the fly. It has already beyond the human ability to analysis them and generate the composition plan manually. It is a problem...
140
click to vote
3DIM
2005
IEEE
15 years 10 months ago
2005
IEEE
One of the difficulties in registering two range images scanned by 3D laser scanners is how to get a correct correspondence over the two images automatically. In this paper, we pr...
149
click to vote
ADC
2003
Springer
15 years 10 months ago
2003
Springer
This paper proposes a novel way of automatically developing data warehouse configuration in rule-based CRM systems. Rule-based CRM systems assume that marketing activities are re...
118
click to vote
MUM
2005
ACM
15 years 10 months ago
2005
ACM
We present a method that preserves the recognizability of key object interactions in a vector animation. The method allows an artist to author an animation once, and then output i...