Semantic Scholar uses AI to extract papers important to this topic.
In this paper, we present substantial improvements in efficiency of explicit-state LTL model checking of C & C++ programs… Expand Transient slip events, which occur more slowly than traditional earthquakes, are increasingly being recognized as important… Expand Fault screeners are a new breed of fault identification technique that can probabilistically detect if a transient fault has… Expand In the past decade, 3D reflection seismology has replaced 2D seismology almost entirely in the seismic industry. Recording 3D… Expand To counter zero-day worms that exploit software flaws such as buffer overflows, this end-point architecture uses source code… Expand In this work we compare the performance of a number of vessel segmentation algorithms on a newly constructed retinal vessel image… Expand An edited version of this paper was published in Geophysical Journal International by Blackwell Publishing. Blackwell Publishing… Expand The phase‐screen and the split‐step Fourier methods, which allow modeling and migration in laterally heterogeneous media, are… Expand In this paper a complete analysis of spot defects in industrial SRAMs will be presented. All possible defects are simulated, and… Expand Abstract We present a new, interactive tool called Intelligent Scissors which we use for image segmentation. Fully automated… Expand