5227 search results - page 231 / 1046 » Enterprise modeling using class and instance models |
149
click to vote
ICPR
2008
IEEE
16 years 6 months ago
2008
IEEE
Several domains such as sports, surgery, dance etc. are characterized by a significant influence of expertise of the performer on the motion pattern and style. The retrieval of ex...
130
click to vote
SOFTWARE
2002
15 years 5 months ago
2002
is the level of abstraction: a logical model ignores the constraints that the underlying database technology imposes and presents a simplified view. Sometimes physical database des...
146
click to vote
ICFEM
2010
Springer
15 years 3 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
149
click to vote
WER
2000
Springer
15 years 9 months ago
2000
Springer
Recently, it has been pointed out that the majority of the requirements engineering methods do not take into account non-functional requirements (NFRs) [10][11]. Consequently, we h...
135
click to vote
ECCV
2000
Springer
16 years 7 months ago
2000
Springer
The initialisation of segmentation methods aiming at the localisation of biological structures in medical imagery is frequently regarded as a given precondition. In practice, howev...