2413 search results - page 209 / 483 » Understanding the problem |
127
click to vote
IJCAI
1997
15 years 5 months ago
1997
Theoremsin automated theorem proving are usually proved by logical formal proofs. However,there is a subset of problems which humanscan prove in a different wayby the use of geome...
143
click to vote
WSC
1998
15 years 5 months ago
1998
Many important characteristics of simulation models, including queuing models, can be investigated by the use of metamodels. Problems in qualitative analysis such as analyzing mod...
123
click to vote
MVA
1996
15 years 5 months ago
1996
The issue of graph recognition has been not always investigated until today though the subjects on the document image understanding are very interest and have proposed many method...
134
click to vote
CEC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract-- This work furthers the understanding of modularity in grammar-based genetic programming approaches by analyzing how different grammars may be capable of producing the sa...
158
click to vote
GRC
2008
IEEE
15 years 5 months ago
2008
IEEE
Manifold learning can discover the structure of high dimensional data and provides understanding of multidimensional patterns by preserving the local geometric characteristics. Ho...