4693 search results - page 498 / 939 » Verifying Hybrid Systems |
191
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Speech recognition techniques have been developed dramatically in recent years. Nevertheless, errors caused by environmental noise are still a serious problem in recognition. Empl...
141
click to vote
ISCAS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— This paper introduces a novel four-order system, which can generate one-directional (1-D) n−torus, twodirectional (2-D) n × m −torus, three-directional (3-D) n × ...
146
click to vote
DATE
2005
IEEE
16 years 20 days ago
2005
IEEE
This paper briefly describes the picoArrayTM architecture, and in particular the deterministic internal communication fabric. The methods that have been developed for debugging a...
174
click to vote
HOTI
2005
IEEE
16 years 19 days ago
2005
IEEE
We present SPINet (Scalable Photonic Integrated Network), an optical switching architecture particularly designed for photonic integration. The performance of SPINet-based network...
181
click to vote
ICRA
2005
IEEE
16 years 19 days ago
2005
IEEE
– A vision-based obstacle detection system for small unmanned aerial vehicles (UAVs) is presented. Obstacles are detected by segmenting the image into sky and non-sky regions and...