This paper presents a completly automated face recognition system integrating both two dimensional (texture) and three dimensional (shape) features. We introduce a novel fusion str...
Stefano Arca, Raffaella Lanzarotti, Giuseppe Lipor...
Ten years ago the Mondex electronic purse was certified to ITSEC Level E6, the highest level of assuranceforsecuresystems.ThisinvolvedbuildingformalmodelsintheZnotation,linkingthem...
Jim Woodcock, Susan Stepney, David Cooper, John A....
We present a Grid solution to a grand challenge problem, the simulation and visualization of the human arterial system. We implemented our simulation and visualization system on t...
Suchuan Dong, Joseph A. Insley, Nicholas T. Karoni...
Autonomous navigation in urban environments inevitably leads to having to switch between various, sometimes conflicting control tasks. Sting Racing, a collaboration between Georg...
David Wooden, Matthew Powers, Magnus Egerstedt, He...
This article lists fourteen open problems in artificial life, each of which is a grand challenge requiring a major advance on a fundamental issue for its solution. Each problem is ...
Mark A. Bedau, John S. McCaskill, Norman H. Packar...