1596 search results - page 150 / 320 » Quantum property testing |
153
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
Texture segmentation is an effortless process in scene analysis, yet its mechanisms have not been sufficiently understood. A common assumption in most current approaches is that t...
148
click to vote
SIGSOFT
2001
ACM
16 years 6 months ago
2001
ACM
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
164
click to vote
ISBI
2008
IEEE
16 years 6 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...
174
click to vote
STOC
2009
ACM
16 years 6 months ago
2009
ACM
This paper studies constant-time approximation algorithms for problems on degree-bounded graphs. Let n and d be the number of vertices and the degree bound, respectively. This pap...
177
click to vote
VMCAI
2009
Springer
16 years 28 days ago
2009
Springer
This paper describes the methods used in Empire, a tool to detect concurrency-related bugs, namely atomic-set serializability violations in Java programs. The correctness criterion...