4693 search results - page 528 / 939 » Verifying Hybrid Systems |
154
click to vote
SMC
2007
IEEE
16 years 1 months ago
2007
IEEE
—It is desirable that colony robots be autonomous and self-sufficient, which requires that they can perform their duties while maintaining enough energy to operate. In previous w...
126
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we consider an overlay system where narrowband AM signals interfere with a broadband multicarrier system [1]. To reduce the effect of the AM narrowband interfere...
204
click to vote
DSN
2006
IEEE
16 years 1 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
213
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— This paper presents a geometrical feature detection system to use with conventional 2D laser rangefinders. This system consists of three main modules: data acquisition and pre...
173
click to vote
ICRA
2006
IEEE
16 years 1 months ago
2006
IEEE
— In this paper, a non-intrusive eye gaze estimation system is proposed. The proposed system consists of five light sources and two cameras, and the direction of the user’s ey...