12289 search results - page 171 / 2458 » computing 2006 |
120
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Pocklington certificates are known to provide short proofs of primality. We show how to perform this in the framework of formal, mechanically checked, proofs. We present an encodin...
AAAI
2006
15 years 4 months ago
2006
Computational humor is a challenge with implications for many classical fields in AI such as, for example, natural language processing, intelligent human-computer interaction, rea...
117
click to vote
IJMMS
2006
15 years 3 months ago
2006
This article describes computational modeling and two corresponding experimental investigations of the effects of symmetry, balance and quantity of construction elements on interf...
109
click to vote
RAS
2006
15 years 3 months ago
2006
Imitation in artificial systems involves a number of important aspects, such as extracting the relevant features of the demonstrated behaviour, inverse mapping observations, and e...
IJON
2006
15 years 3 months ago
2006
The monkey parietal anterior intraparietal area (AIP) is part of the grasp planning and execution circuit which contains neurons that encode object features relevant for grasping,...