220 search results - page 30 / 44 » Estimating functional coverage in bounded model checking |
AIPS
2010
15 years 1 months ago
2010
Computing a good policy in stochastic uncertain environments with unknown dynamics and reward model parameters is a challenging task. In a number of domains, ranging from space ro...
83
Voted
GI
2009
Springer
14 years 8 months ago
2009
Springer
: When a tactical aircraft sets out on a mission in dense airborne and surface RF (radio frequency) emitter environment, the pilot desires to minimize the use of the onboard fire c...
ICASSP
2008
IEEE
15 years 5 months ago
2008
IEEE
Clustered-dot halftones are extensively utilized in hardcopy printing. Modulation of the dot orientation in these halftones offers an avenue for data embedding which has been expl...
PC
2000
14 years 10 months ago
2000
A common approach to parallelizing simulated annealing to generate several perturbations to the current solution simultaneously, requiring synchronization to guarantee correct eva...
AUTOMATICA
2005
14 years 11 months ago
2005
In this paper we present a new method of interval fuzzy model identification. The method combines a fuzzy identification methodology with some ideas from linear programming theory...