9067 search results - page 1798 / 1814 » Adaptive Model Checking |
111
click to vote
TCSV
2008
14 years 11 months ago
2008
The extracted low resolution video from a motion compensated 3-D subband/wavelet scalable video coder is unnecessarily sharp and sometimes contains significant aliasing, compared ...
BMCBI
2005
14 years 11 months ago
2005
Background: Quantitative knowledge of intracellular fluxes is important for a comprehensive characterization of metabolic networks and their functional operation. In contrast to d...
TMC
2008
14 years 11 months ago
2008
Under a multirate network scenario, the IEEE 802.11 DCF MAC fails to provide airtime fairness for all competing stations since the protocol is designed for ensuring max-min through...
114
click to vote
TMI
2008
14 years 11 months ago
2008
We apply an information-theoretic cost metric, the symmetrized Kullback-Leibler (sKL) divergence, or -divergence, to fluid registration of diffusion tensor images. The difference b...
126
click to vote
CAD
2005
Springer
14 years 11 months ago
2005
Springer
A tool which can quickly interpret line drawings (with hidden lines removed) of engineering objects as boundary representation CAD models would be of significant benefit in the pr...