306 search results - page 48 / 62 » Constructive analysis, types and exact real numbers |
MICCAI
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
TSE
2010
13 years 5 months ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
AADEBUG
2005
Springer
14 years 1 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
PCM
2004
Springer
14 years 27 days ago
2004
Springer
Sports videos have special characteristics such as well-defined video structure, specialized sports syntax, and some canonical view types. In this paper, we proposed an online lear...
SCA
2007
13 years 10 months ago
2007
To animate a character, a number of poses are displayed in quick succession in order to create the illusion of motion. For most real-time applications, such as games, the pose upd...