4106 search results - page 263 / 822 » A Computational Model for Metric Spaces |
156
click to vote
QEST
2006
IEEE
16 years 20 days ago
2006
IEEE
We analyze the effect of a few fiber delay loops on the number of deflections in an all optical packet switch. The switch is based on the ROMEO architecture developed by Alcatel...
201
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
We develop a linear model of commonly observed joint color changes in images due to variation in lighting and certain non-geometric camera parameters. This is done by observing ho...
189
click to vote
ICPR
2010
IEEE
15 years 10 months ago
2010
IEEE
A novel feature extraction method, namely monogenic binary pattern (MBP), is proposed in this paper based on the theory of monogenic signal analysis, and the histogram of MBP (HMB...
133
click to vote
PG
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we present a physics motivated modeling method for volcanic clouds as a two fluids model. Some previous methods model smoke or clouds as one fluid, but the volcan...
143
click to vote
ATVA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Symbolic model checking provides partially effective verification procedures that can handle systems with an infinite state space. So-called “acceleration techniques...