6167 search results - page 64 / 1234 » Can Refinement be Automated |
SPIC
2010
13 years 4 months ago
2010
Wyner-Ziv coding enables low complexity video encoding with the motion estimation procedure shifted to the decoder. However, the accuracy of decoder motion estimation is often low...
BIRD
2007
Springer
14 years 4 months ago
2007
Springer
More and more proteins have been observed to display functions through intrinsic disorder. Such structurally flexible regions are shown to play important roles in biological proces...
3DPVT
2006
IEEE
14 years 4 months ago
2006
IEEE
Obtaining a digital model of a real-world 3D scene is a challenging task pursued by computer vision and computer graphics. Given an initial approximate 3D model, a popular refinem...
WWIC
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents a new perspective to the design of wireless networks using the proposed dynamic data type refinement methodology. In the forthcoming years, new portab...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...