755 search results - page 42 / 151 » Sequential Diagnosis by Abstraction |
ICANN
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper presents an experimental "morphological analysis" retrieval system for mammograms, using Relevance-Feedback techniques. The features adopted are firs...
ICEEE
2010
13 years 2 months ago
2010
Abstract--Endoscopy is a standard imaging modality commonly used in different medical fields like lesion diagnosis in hollow organs or mini-invasive surgery. Meanwhile, endoscopic ...
ISCAS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— Although many researchers are investigating techniques to synthesize reversible combinational logic, there is little work in the area of sequential reversible logic. We...
SOFSEM
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the p...
APAL
2008
13 years 7 months ago
2008
Abstract. We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a ...