—With every process generation, the problem of variability in physical parameters and environmental conditions poses a great challenge to the design of fast and reliable circuits...
Shrikanth Ganapathy, Ramon Canal, Antonio Gonz&aac...
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
In this paper, a hybrid medical image segmentation approach is proposed based on a dual front evolution and fast sweeping evolution. This approach is composed of two stages. In th...
We explore the use of clouds as a form of structured lighting to capture the 3D structure of outdoor scenes observed over time from a static camera. We derive two cues that relate ...
Abstract--The H.264 standard achieves much higher coding efficiency than the MPEG-2 standard, due to its improved inter-and intra-prediction modes at the expense of higher computat...