14 search results - page 2 / 3 » mcm 2010 |
MCM
2010
12 years 12 months ago
2010
The objective of this article is to discuss the modeling and simulation of the motion of oil spots in the open sea, and the effect on the pollutant concentration when a polluted w...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
In this report, we describe three encodings of the multiple constant multiplication (MCM) problem to pseudo-boolean satisfiability (PBS), and introduce an algorithm to solve the M...
DSD
2010
IEEE
13 years 5 months ago
2010
IEEE
—Although many efficient high-level algorithms have been proposed for the realization of Multiple Constant Multiplications (MCM) using the fewest number of addition and subtract...
MCM
2010
12 years 12 months ago
2010
We consider the electromagnetic detection of hidden moving or oscillating conductive targets. The resulting mathematical problem involves computation of a Doppler shift for an ele...
ENTCS
2006
13 years 5 months ago
2006
We present a new approach to runtime verification that utilizes classical statistical techniques such as Monte Carlo simulation, hypothesis testing, and confidence interval estima...