3731 search results - page 97 / 747 » cases 2006 |
106
click to vote
FMCO
2006
Springer
15 years 4 months ago
2006
Springer
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
88
Voted
FLAIRS
2006
15 years 2 months ago
2006
RUPART1 is a hybrid robot control system for navigating a real-world, academic building. Hybrid robot control systems provide robust low-level navigation together with strategic p...
ESE
2006
15 years 18 days ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...
CORR
2006
Springer
15 years 19 days ago
2006
Springer
An outer bound to the capacity region of the two-receiver discrete memoryless broadcast channel is given. The outer bound is tight for all cases where the capacity region is known....
RC
2006
15 years 16 days ago
2006
The paper treats the problem of interval multiplication for the case where the product interval has to be in affine form. New formulae for multiplication of independent intervals, ...