Sciweavers

3068 search results - page 204 / 614
» Separation Results on the
Sort
View
ICIC
2007
Springer
16 years 20 days ago
Edge Detection Based on Spiking Neural Network Model
Inspired by the behaviour of biological receptive fields and the human visual system, a network model based on spiking neurons is proposed to detect edges in a visual image. The st...
Qingxiang Wu, T. Martin McGinnity, Liam P. Maguire...
ISVC
2007
Springer
16 years 20 days ago
Fuzzy Morphology for Edge Detection and Segmentation
Abstract. This paper proposes a new approach for structure based separation of image objects using fuzzy morphology. With set operators in fuzzy context, we apply an adaptive alpha...
Atif Bin Mansoor, Ajmal S. Mian, Adil Khan, Shoab ...
LPNMR
2007
Springer
16 years 20 days ago
Using Answer Sets to Solve Belief Change Problems
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
Aaron Hunter, James P. Delgrande, Joel Faber
LTCONF
2007
Springer
16 years 20 days ago
The DANTE Temporal Expression Tagger
In this paper we present the DANTE system, a tagger for temporal expressions in English documents. DANTE performs both recognition and normalization of these expressions in accord...
Pawel P. Mazur, Robert Dale
SAS
2007
Springer
103views Formal Methods» more  SAS 2007»
16 years 19 days ago
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...