6040 search results - page 922 / 1208 » Generating Instance Models from Meta Models |
173
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Given a theory T and two formulas A and B jointly unsatisfiable in T , a theory interpolant of A and B is a formula I such that (i) its non-theory symbols are shared by ...
145
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—IP-XACT is a well accepted standard for the exchange of IP components at Electronic System and Register Transfer Level. Still, the creation and manipulation of these description...
202
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
161
click to vote
AIED
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The nature of the activities that take place in Exploratory Learning Environments allow generating a variety of learner trajectories and makes difficult to develop a mod...
194
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we propose an inherent parallel scheme for 3D image segmentation of large volume data on a GPU cluster. This method originates from an extended Lattice Boltzmann Mod...