6040 search results - page 509 / 1208 » Generating Instance Models from Meta Models |
213
click to vote
IS4TH
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. In this paper, we present a 3D reconstruction approach of a liver tumour model from a sequence of 2D MR parallel cross-sections, and the integration of this reconstructed...
194
click to vote
HASE
2007
IEEE
15 years 9 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
161
click to vote
WSC
1998
15 years 8 months ago
1998
A method of modeling transportation-inventory systems is proposed in an attempt to flexibly describe the systems in which a lot of kinds of items are ordered to transport, transpo...
220
click to vote
ECML
2004
Springer
16 years 26 days ago
2004
Springer
The standard framework of machine learning problems assumes that the available data is independent and identically distributed (i.i.d.). However, in some applications such as image...
204
click to vote
TACAS
2004
Springer
16 years 25 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...