11172 search results - page 672 / 2235 » Testing Physical Systems |
206
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
267
click to vote
ANCS
2010
ACM
15 years 4 months ago
2010
ACM
As we move forward towards the next generation of wireless protocols, the push for a better radio physical layer is ever increasing. Conventional radio architectures are limited t...
156
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— This paper describes a probabilistic bail-out condition for multihypothesis testing based on Bennett’s inequality. We investigate the use of the test for increasing t...
193
click to vote
SAMT
2007
Springer
16 years 1 months ago
2007
Springer
This paper reports on the setup and evaluation of robust speech recognition system parts, geared towards transcript generation for heterogeneous, real-life media collections. The s...
201
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
—This paper proposes a new architecture for robot control. A test scenario is outlined to test the proposed system and enable a comparison with an existing system, which is able ...