5550 search results - page 137 / 1110 » Different Approaches to Proof Systems |
156
click to vote
SIAMSC
2008
15 years 6 months ago
2008
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...
154
click to vote
COLING
2002
15 years 6 months ago
2002
Chinese NE (Named Entity) recognition is a difficult problem because of the uncertainty in word segmentation and flexibility in language structure. This paper proposes the use of ...
157
click to vote
IGPL
2010
15 years 4 months ago
2010
In this paper we present a new model for the requirements analysis of a system. We offer a conceptual model defined following a visual modeling language, called dependence network...
167
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Localization and classification of acoustic signals in a complex auditory scene is an every day task of the human auditory system. However, this problem presents a significant c...
188
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Metal and beam-hardening artifacts are tough issues in Computed Tomography (CT) images. This paper proposes an iterative Maximum A Posteriori (MAP) reconstruction algorithm aiming...