10715 search results - page 2054 / 2143 » From Tests to Proofs |
ECCV
2010
Springer
14 years 7 days ago
2010
Springer
A fundamental task in artificial intelligence and computer vision is to build machines that can behave like a human in recognizing a broad range of visual concepts. This paper aims...
CIKM
1993
Springer
14 years 6 days ago
1993
Springer
match algorithms that can efficiently handleAbstract complex tests in the presence of large amounts of data. Match algorithms that are capable of handling large amounts of On the o...
SC
1992
ACM
14 years 5 days ago
1992
ACM
We are currently developing Willow, a shared-memory multiprocessor whose design provides system capacity and performance capable of supporting over a thousand commercial microproc...
DATE
2010
IEEE
14 years 4 days ago
2010
IEEE
─ Error tolerance formally captures the notion that – for a wide variety of applications including audio, video, graphics, and wireless communications – a defective chip that...
GECCO
2010
Springer
14 years 4 days ago
2010
Springer
The Covariance-Matrix-Adaptation Evolution-Strategy (CMA-ES) is a robust stochastic search algorithm for optimizing functions defined on a continuous search space RD . Recently, ...