13383 search results - page 347 / 2677 » Abstractions from proofs |
169
click to vote
ICIP
2003
IEEE
16 years 8 months ago
2003
IEEE
Abstract--An image can be seen as an element of a vector space so that it can be expressed in terms of a series expansion of any non necessarily orthogonal base of this space. This...
206
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. This paper presents a novel approach for multi-organ (musculoskeletal system) automatic registration and segmentation from clinical MRI datasets, based on discrete deform...
289
click to vote
CP
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
172
Voted
BRAIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. By adopting neurological theories on the role of emotions and feelings, an agent model is introduced incorporating the reciprocal interaction between believing and feelin...
152
click to vote
ICANN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper introduces the application of the feature transformation approach proposed by Torkkola [1] to the domain of image processing. Thereto, we extended the approach...