2302 search results - page 246 / 461 » Testing as Abstraction |
176
click to vote
IJRR
2008
15 years 6 months ago
2008
Abstract. In the world of living creatures, "simple minded" animals often cooperate to achieve common goals with amazing performance. One can consider this idea in the co...
102
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Abstract. New information technologies provide a possibility of collecting a large amount of fundus images into databases. It allows us to use automated processing and classificati...
194
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Abstract. This paper presents a bimodal biometric verification system based on the fusion of palmprint and face features at the matching-score level. The system combines a new appr...
182
Voted
JAR
2008
15 years 6 months ago
2008
Abstract. We propose to combine interactive proof construction with proof automation for a fragment of first-order logic called Coherent Logic (CL). CL allows enough existential qu...
143
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Abstract—This paper presents new low-complexity lattice-decoding algorithms for noncoherent block detection of quadrature amplitude modulation (QAM) and pulse amplitude modulatio...