Sciweavers

953 search results - page 15 / 191
» Constraint Based Transformation Theory
Sort
View
MODELS
2007
Springer
14 years 1 months ago
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
Hongzhi Liang
FSKD
2007
Springer
100views Fuzzy Logic» more  FSKD 2007»
14 years 1 months ago
Modeling and Simulation of Extended Fuzzy Timing Workflow Nets Based on Possibility Theory
According to the practical need for uncertain time modeling and analysis in WfMSs, based on possibility theory, the paper firstly introduces fuzzy time and puts forward the concep...
Yanhua Du, Yushun Fan
FROCOS
2009
Springer
14 years 5 days ago
A Declarative Agent Programming Language Based on Action Theories
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
Conrad Drescher, Stephan Schiffel, Michael Thielsc...
ICIAR
2007
Springer
14 years 1 months ago
High Accuracy Optical Flow Method Based on a Theory for Warping: Implementation and Qualitative/Quantitative Evaluation
Abstract. We describe the implementation of a 2D optical flow algorithm published in the European Conference on Computer Vision (ECCV 2004) by Brox et al. [1] (best paper award) a...
Mohammad Faisal, John Barron
ISTA
2004
13 years 9 months ago
A Data Transformation Method Based on Schema Mapping
: Schema mapping is an important approach to solve the problem of data integration. This paper introduces a research prototype called SDE, which is a system for managing and facili...
You Li, Dongbo Liu, Weiming Zhang