1219 search results - page 121 / 244 » Towards automatization of domain modeling |
JAIR
2008
13 years 9 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...
ICMCS
2007
IEEE
14 years 4 months ago
2007
IEEE
3D models have many applications, but automatically building a 3D model from a video is a challenge in practice. Many methods exist for outdoor scenes, but indoor scenes are more ...
GFKL
2007
Springer
14 years 3 months ago
2007
Springer
The analysis of genetic diseases has classically been directed towards establishing direct links between cause, a genetic variation, and effect, the observable deviation of phenot...
ECCV
2006
Springer
14 years 11 months ago
2006
Springer
A novel deformable model for image segmentation and shape recovery is presented. The model is inspired by fluid dynamics and is based on a flooding simulation similar to the waters...
ISBI
2002
IEEE
14 years 10 months ago
2002
IEEE
Biomedical imaging of large patient populations, both cross-sectionally and longitudinally, is becoming a standard technique for noninvasive, in-vivo studies of the pathophysiolog...