In this paper we present VOCUS: a robust computational attention system for goal-directed search. A standard bottom-up architecture is extended by a top-down component, enabling th...
— As the size of the modules in a self-reconfiguring modular robotic system shrinks and the number of modules increases, the flexibility of the system as a whole increases. In ...
Mustafa Emre Karagozler, Seth Copen Goldstein, Jam...
: New Information Technologies (IT) offer a new way for teaching and learning. Rather than simply duplicate old learning materials and make them correspond to the new IT tools, it ...
Maurice Ndaye Mukuna, Jacques Vancleve, Philippe C...
Abstract. Boyer and Moore's ACL2 theorem prover combines firstorder applicative Common Lisp with a computational, first-order logic. While ACL2 has become popular and is being...
Abstract— The accurate average BER calculation of an asynchronous DS-CDMA system using random spreading sequences is studied in Rayleigh fading channels. An accurate closedform e...