12774 search results - page 2259 / 2555 » A Framework for Proof Systems |
147
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper continues our systematic study of an RNAediting computational model of Genetic Algorithms (GA). This model is constructed based on several genetic editing char...
159
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
A critical success factor in Insurance business is its ability to use information sources and contained knowledge in the most effective way. Its profitability is obtained through t...
174
click to vote
GI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
222
click to vote
ICBA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Current appearance-based face recognition system encounters the difficulty to recognize faces with appearance variations, while only a small number of training images are...
164
Voted
IJCNLP
2004
Springer
16 years 4 days ago
2004
Springer
One problem seriously affecting CLIR performance is the processing of queries with embedded foreign names. A proper noun dictionary is never complete rendering name translation fr...