1930 search results - page 45 / 386 » Epistemic comparative conditionals |
177
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
199
click to vote
CVPR
2012
IEEE
13 years 8 months ago
2012
IEEE
Image based relighting techniques are a popular choice for generating photo-realistic images of objects under any lighting condition. A typical process for creating such a model i...
154
click to vote
ICIP
1998
IEEE
16 years 7 months ago
1998
IEEE
We describe a method to maintain an acceptable quality for video transported over wireless networks under timevarying conditions. We use a transcoder to modify the resilience of t...
173
click to vote
AMC
2008
15 years 6 months ago
2008
In this paper, a new sufficient delay dependent exponential stability condition for a class of linear time-varying systems with nonlinear delayed perturbations is derived by using...
147
click to vote
MOC
1998
15 years 6 months ago
1998
In this paper we construct and analyze new non-overlapping domain decomposition preconditioners for the solution of second-order elliptic and parabolic boundary value problems. The...