1930 search results - page 45 / 386 » Epistemic comparative conditionals |
110
click to vote
ICSE
2005
IEEE-ACM
15 years 12 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...
107
click to vote
CVPR
2012
IEEE
13 years 2 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...
ICIP
1998
IEEE
16 years 1 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...
100
click to vote
AMC
2008
14 years 12 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...
MOC
1998
14 years 11 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...