In this paper we propose an object-triggered human memory augmentation system named ‘‘Ubiquitous Memories’’ that enables a user to directly associate his/her experience dat...
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
Let D be a weighted directed graph cellularly embedded in a surface of genus g, orientable or not, possibly with boundary. We describe algorithms to compute a shortest non-contrac...
The developmental approach enables us to build adaptive robots, and furthermore, to understand the essence of intelligence from the constructivist viewpoint. In this paper, a new d...
Abstract--Sensing coverage is essential for most applications in wireless networks. In traditional coverage problem study, the disk coverage model has been widely applied because o...