2253 search results - page 246 / 451 » Computing with Realizational Morphology |
219
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
For artificial entities to achieve high degrees of autonomy they will need to display appropriate adaptability. In this sense adaptability includes representational flexibility gu...
162
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
While recent research on rule learning has focussed largely on finding highly accurate hypotheses, we evaluate the degree to which these hypotheses are also simple, that is small....
184
click to vote
ENGL
2008
15 years 6 months ago
2008
Multiple-valued quantum circuits are promising choices for future quantum computing technology, since the multiple-valued quantum system is more compact than the corresponding bina...
177
click to vote
ISCI
2008
15 years 6 months ago
2008
E-commerce has been one of the success stories of the last decade. Developments in wireless communications and mobile computing have heralded an era of mobile commerce (m-commerce...
198
click to vote
JAR
2008
15 years 6 months ago
2008
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...