9067 search results - page 1710 / 1814 » Adaptive Model Checking |
167
click to vote
MOC
2010
15 years 1 months ago
2010
Abstract. We prove pointwise a posteriori error estimates for semi- and fullydiscrete finite element methods for approximating the solution u to a parabolic model problem. Our esti...
157
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
This paper deals with the approximation of the buckling coefficients and modes of a clamped plate modeled by the Reissner-Mindlin equations. These coefficients are related with the...
179
click to vote
TCSV
2010
15 years 1 months ago
2010
Hierarchical structure is a useful tool for providing the necessary scalability in adapting to the variety of channel environments. For schemes involving hierarchical picture struc...
191
click to vote
TMM
2010
15 years 1 months ago
2010
We develop an analytical framework to investigate the impacts of network dynamics on the user perceived video quality. Our investigation stands from the end user's perspective...
202
click to vote
TON
2010
15 years 29 days ago
2010
Aggregate traffic loads and topology in multi-hop wireless networks may vary slowly, permitting MAC protocols to `learn' how to spatially coordinate and adapt contention patte...