6059 search results - page 347 / 1212 » A Technique for Verifying Measurements |
300
click to vote
ADCOG
2004
15 years 8 months ago
2004
While networking technology facilitates the use of online services such as real-time instant messaging and anywhere-anytime multiplayer gaming, societal and ethical issues can inf...
170
click to vote
ATVA
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
161
click to vote
DSS
2008
15 years 7 months ago
2008
Previous research indicates that the human decision-making process is somewhat nonlinear and that nonlinear models would be more suitable than linear models for developing advance...
183
click to vote
ENGL
2008
15 years 7 months ago
2008
This paper presents a compact analog neuron cell incorporating an array of charge-coupled synapses connected via a common output terminal. The novel silicon synapse is based on a t...
175
click to vote
AUTOMATICA
2006
15 years 7 months ago
2006
For state estimation over a communication network, efficiency and reliability of the network are critical issues. The presence of packet dropping and communication delay can great...