4488 search results - page 370 / 898 » Properties of NP-Complete Sets |
192
click to vote
DAC
2002
ACM
16 years 8 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
195
click to vote
IPMI
2005
Springer
16 years 8 months ago
2005
Springer
We address the problem of the segmentation of cerebral white matter structures from diffusion tensor images. Our approach is grounded on the theoretically well-founded differential...
207
click to vote
SIGSOFT
2009
ACM
16 years 8 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
213
click to vote
ISBI
2008
IEEE
16 years 8 months ago
2008
IEEE
Dermoscopy is a technique used to better visualize pigmented skin lesion and aid the clinician in determining if a lesion is benign or malignant. Automated segmentation of dermosc...
171
Voted
CAV
2009
Springer
16 years 8 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....