Autor der Publikation

MGTP: A Parallel Theorem Prover Based on Lazy Model Generation.

, , und . CADE, Volume 607 von Lecture Notes in Computer Science, Seite 776-780. Springer, (1992)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Self-Applicable Partial Evaluator and Its Use in Incremental Compilation., und . New Generation Comput., 6 (2&3): 91-118 (1988)Preliminary investigation on CAD system update: effect of selection of new cases on classifier performance., , , und . Medical Imaging: Computer-Aided Diagnosis, Volume 8670 von SPIE Proceedings, Seite 86701T. SPIE, (2013)Automatic arteriovenous crossing phenomenon detection on retinal fundus images., , , und . Medical Imaging: Computer-Aided Diagnosis, Volume 7963 von SPIE Proceedings, Seite 79633V. SPIE, (2011)Classifying Masses as Benign or Malignant Based on Co-occurrence Matrix Textures: A Comparison Study of Different Gray Level Quantizations., , und . Digital Mammography / IWDM, Volume 4046 von Lecture Notes in Computer Science, Seite 332-339. Springer, (2006)An automated classification scheme for mammograms based on amount and distribution of fibroglandular breast tissue density., , , , , , und . CARS, Volume 1230 von International Congress Series, Seite 545-552. Elsevier, (2001)Extending MaxSAT to Solve the Coalition Structure Generation Problem with Externalities Based on Agent Relations., , , und . IEICE Trans. Inf. Syst., 97-D (7): 1812-1821 (2014)Preliminary study on differentiation between glaucomatous and non-glaucomatous eyes on stereo fundus images using cup gradient models., , , , , und . Medical Imaging: Computer-Aided Diagnosis, Volume 9035 von SPIE Proceedings, Seite 903533. SPIE, (2014)Preliminary study on the automated detection of breast tumors using the characteristic features from unenhanced MR images., , , , , , und . Medical Imaging: Computer-Aided Diagnosis, Volume 9414 von SPIE Proceedings, Seite 94142A. SPIE, (2015)Automated classification of mandibular cortical bone on dental panoramic radiographs for early detection of osteoporosis., , , , , , und . Medical Imaging: Computer-Aided Diagnosis, Volume 9414 von SPIE Proceedings, Seite 94142J. SPIE, (2015)Automated Detection of Clustered Microcalcifications on Digitized Mammograms., , , , , , und . Digital Mammography / IWDM, Volume 13 von Computational Imaging and Vision, Seite 197-200. Springer, (1998)