755 search results - page 42 / 151 » Sequential Diagnosis by Abstraction |
108
click to vote
ICANN
2010
Springer
14 years 7 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...
154
Voted
ICEEE
2010
14 years 4 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
15 years 3 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...
72
Voted
SOFSEM
2000
Springer
15 years 1 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
14 years 9 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 ...