4 resultados para automated proof

em Aberystwyth University Repository - Reino Unido


Relevância:

20.00% 20.00%

Publicador:

Resumo:

M J Neal, A hardware proof of concept of a sailing robot for ocean observation, IEEE Journal of Oceanic Engineering, 2006 accepted for publication RAE2008

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Whelan, K. E. and King, R. D. (2004) Intelligent software for laboratory automation. Trends in Biotechnology 22 (9): 440-445

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Q. Meng and M. H Lee, Automated cross-modal mapping in robotic eye/hand systems using plastic radial basis function networks, Connection Science, 19(1), pp 25-52, 2007.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

L. Blot, A. Davis, M. Holubinka, R. Marti and R. Zwiggelaar, 'Automated quality assurance applied to mammographic imaging', EURASIP Journal of Applied Signal Processing 2002 (7), 736-745 (2002)