2838 search results - page 269 / 568 » Verifying Controlled Components |
171
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
— The paper studies distributed average consensus in sensor networks, when the sensors exchange quantized data at each time step. We show that randomizing the exchanged sensor da...
154
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
—Terrain variations can greatly influence autonomous ground vehicle (AGV) performance. However, if the terrain is properly identified, the AGV control systems can be adjusted to ...
142
click to vote
ISCAS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Integrated circuit (IC) design for a wireless BCI system is put forward in this paper. The system is composed of an electrode, a stimulator, antennas, and an integrated circuit ...
159
click to vote
SKG
2006
IEEE
16 years 19 days ago
2006
IEEE
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...
163
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...