12745 search results - page 2277 / 2549 » Automating test automation |
167
click to vote
LOGCOM
2010
15 years 3 months ago
2010
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
146
click to vote
MIAR
2010
IEEE
15 years 3 months ago
2010
IEEE
Diagnosis of benign and malign skin lesions is currently mostly relying on visual assessment and frequent biopsies performed by dermatologists. As the timely and correct diagnosis ...
140
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
We propose a framework for the extraction of biomarkers from low-dimensional manifolds representing inter- and intra-subject brain variation in MR image data. The coordinates of ea...
124
click to vote
MICCAI
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Image segmentation is essential for many automated microscopy image analysis systems. Rather than treating microscopy images as general natural images and rushing into th...
165
click to vote
MODELS
2010
Springer
15 years 3 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...