3726 search results - page 53 / 746 » A structured definition of the modeling process |
APLAS
2010
ACM
13 years 9 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
ICIP
2010
IEEE
13 years 7 months ago
2010
IEEE
An image representation framework based on structured sparse model selection is introduced in this work. The corresponding modeling dictionary is comprised of a family of learned ...
WSC
2008
13 years 11 months ago
2008
Typically, system dynamics-based simulations of business processes are constructed in an ad hoc manner, with a modeler creating low-level components and defining interrelationship...
IADIS
2004
13 years 10 months ago
2004
Our research works are interested in the identification and the representation of the semantic structures of multimedia documents. The semantic structure of a multimedia document ...
IJWGS
2006
13 years 9 months ago
2006
: This paper presents a systematic study of some major problems involved in the transformation of business process modelling languages to executable business process representation...