Sciweavers

1009 search results - page 113 / 202
» transML: A Family of Languages to Model Model Transformation...
Sort
View
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
16 years 11 days ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
WSC
2000
15 years 7 months ago
Input modeling using a computer algebra system
Input modeling that involves fitting standard univariate parametric probability distributions is typically performed using an input modeling package. These packages typically fit ...
Diane L. Evans, Lawrence Leemis
JODS
2006
166views Data Mining» more  JODS 2006»
15 years 6 months ago
Model-Driven Ontology Engineering
W3C's Semantic Web provides a common framework that allows data to be shared and reused across application and enterprise. As the Semantic Web shapes the future of the Web, it...
Yue Pan, Guo Tong Xie, Li Ma, Yang Yang, Zhaoming ...
CVPR
2009
IEEE
17 years 1 months ago
Automated Extraction of Signs from Continuous Sign Language Sentences using Iterated Conditional Modes
Recognition of signs in sentences requires a training set constructed out of signs found in continuous sentences. Currently, this is done manually, which is a tedious process. I...
Barbara L. Loeding, Sudeep Sarkar, Sunita Nayak
ICLP
2011
Springer
14 years 10 months ago
Constraints in Non-Boolean Contexts
In high-level constraint modelling languages, constraints can occur in non-Boolean contexts: implicitly, in the form of partial functions, or more explicitly, in the form of const...
Leslie De Koninck, Sebastian Brand, Peter J. Stuck...