709 search results - page 116 / 142 » An Equational Theory for Transactions |
101
click to vote
CVPR
2006
IEEE
16 years 1 months ago
2006
IEEE
We develop theory and algorithms to incorporate image manifold constraints in a level set segmentation algorithm. This provides a framework to simultaneously segment every image o...
ICIP
2000
IEEE
16 years 21 days ago
2000
IEEE
We present an estimation-theoretic approach to curve evolution for the Mumford-Shah problem. By viewing an active contour as the set of discontinuities in the Mumford-Shah problem...
DAC
2007
ACM
16 years 3 days ago
2007
ACM
Abstract-- The PPV is a robust phase domain macromodel for oscillators. It has been proven to predict oscillators' responses correctly under small signal perturbations, and ca...
ISBI
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper focuses on the discussion of using thermal infrared imaging (TIR) in early detection of breast cancer. We use the term thermal texture maps to represent the images captu...
194
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...