Abstract— We address the problem of robotic real-time binaural hearing using a humanoid head. The sound detection ability for a previously proposed robotic 3D binaural sound loca...
Fakheredine Keyrouz, Klaus Diepold, Patrick Dewild...
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
— The main thesis of this paper is to perform a reliability based performance analysis for a shared latch inserted global interconnect under uncertainty. We first put forward a ...
Image processing in three-dimensional electron microscopy (3D-EM) is characterized by large amounts of data, and voluminous computing requirements. Here, we report our first exper...
Sjors H. W. Scheres, A. J. Merino, Carlos Oscar S&...
As technology sizes decrease and die area increases, designers are creating increasingly complex computing systems using FPGAs. To reduce design time for new products, the reuse o...