9455 search results - page 426 / 1891 » The Modelling Language Zinc |
237
click to vote
AAAI
2012
13 years 10 months ago
2012
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
195
click to vote
ICMI
2009
Springer
16 years 2 months ago
2009
Springer
Spatial language video retrieval is an important real-world problem that forms a test bed for evaluating semantic structures for natural language descriptions of motion on natural...
218
click to vote
EEE
2005
IEEE
16 years 1 months ago
2005
IEEE
UN/CEFACT’s Modelling Methodology (UMM) is used to analyze and design B2B business processes. We extend UMM by a constraint mechanism for adding business environment-specific co...
189
click to vote
ICST
2008
IEEE
16 years 2 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
176
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
The metamodel techniques and model transformation techniques provide a standard way to represent and transform data, especially the software artifacts in software development. How...