9067 search results - page 1696 / 1814 » Adaptive Model Checking |
187
click to vote
IJON
2007
15 years 6 months ago
2007
— This paper, presents a feasability study of a central pattern generator-based analog controller for an autonomous robot. The operation of a neuronal circuit formed of electroni...
167
click to vote
TFS
2008
15 years 6 months ago
2008
Abstract-- This paper proposes a novel framework for describing articulated robot kinematics motion with the goal of providing a unified representation by combining symbolic or qua...
140
click to vote
TIP
2008
15 years 6 months ago
2008
We propose an intra prediction solution to block-based image compression. In order to adapt to local image features during intra prediction, we consider the distinct image singular...
193
click to vote
TMC
2008
15 years 6 months ago
2008
In this paper, we propose a bandwidth-efficient multicast mechanism for heterogeneous wireless networks. We reduce the bandwidth cost of an Internet Protocol (IP) multicast tree by...
164
click to vote
JCS
2007
15 years 6 months ago
2007
Many emerging applications in both wired and wireless networks need support of secure group communications. There have been many secure group communication schemes in the setting ...