2205 search results - page 235 / 441 » Mutation Operators for Specifications |
117
click to vote
SODA
2004
ACM
15 years 5 months ago
2004
ACM
We define a deterministic metric of "well-behaved data" that enables searching along the lines of interpolation search. Specifically, define to be the ratio of distance...
VIP
2001
15 years 5 months ago
2001
Spiral Architecture is a relatively new and powerful approach to general purpose machine vision system. It contains very useful geometric and algebraic properties. Two algebraic o...
105
click to vote
WSC
2001
15 years 5 months ago
2001
Emulation is a very powerful tool for testing and debugging control code/logic in an office environment rather than on the plant floor. Through the use of emulation, the actual co...
172
click to vote
WSC
2004
15 years 5 months ago
2004
We consider the problem of estimating the small probability that a function of a finite number of random variables exceeds a large threshold. Each input random variable may be lig...
114
click to vote
WSC
2004
15 years 5 months ago
2004
Military supply chains encompass a complicated network of customers and suppliers, and deal with a wide variety of items. Demand inside the network is generated at the unit level ...