404 search results - page 20 / 81 » Temporal Constraints in Non-temporal Data Modelling Language... |
ISBI
2006
IEEE
15 years 10 months ago
2006
IEEE
The temporal alignment of nongated slice-sequences acquired at different axial positions in the living embryonic zebrafish heart permits the reconstruction of dynamic, three-dimen...
66
Voted
BMVC
2001
14 years 12 months ago
2001
This paper extends 2D Active Shape Models to 2D+time by presenting a method for modelling and segmenting spatio-temporal shapes (ST-shapes). The modelling part consists of constru...
SEMCO
2009
IEEE
15 years 4 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
CAV
1998
Springer
15 years 1 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
KBSE
2007
IEEE
15 years 3 months ago
2007
IEEE
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling (ORM) language. ORM is a popular conceptual modeling language, prim...