4457 search results - page 164 / 892 » Tests of Machine Intelligence |
166
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
140
click to vote
NPC
2007
Springer
16 years 20 days ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...
178
click to vote
FGR
2006
IEEE
16 years 18 days ago
2006
IEEE
Motivated by a recently proposed biologically-inspired face recognition approach, psychophysical experiments have been carried out. We measured recognition performance of polar fr...
210
click to vote
FGR
2006
IEEE
16 years 18 days ago
2006
IEEE
Skin segmentation is the cornerstone of many applications such as gesture recognition, face detection, and objectionable image filtering. In this paper, we attempt to address the ...
150
click to vote
ICAS
2006
IEEE
16 years 17 days ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...