Sciweavers

2624 search results - page 274 / 525
» On Business Process Model Transformations
Sort
View
DAGM
2010
Springer
15 years 7 months ago
Geometrically Constrained Level Set Tracking for Automotive Applications
We propose a new approach for integrating geometric scene knowledge into a level-set tracking framework. Our approach is based on a novel constrained-homography transformation mode...
Esther Horbert, Dennis Mitzel, Bastian Leibe
MODELS
2007
Springer
16 years 22 days ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
PATMOS
2005
Springer
16 years 2 days ago
A New Model for Timing Jitter Caused by Device Noise in Current-Mode Logic Frequency Dividers
A new method for predicting timing jitter caused by device noise in current-mode logic (CML) frequency dividers is presented. Device noise transformation into jitter is modeled as ...
Marko Aleksic, Nikola Nedovic, K. Wayne Current, V...
CAISE
2007
Springer
15 years 10 months ago
Formalization and Verification of EPCs with OR-Joins Based on State and Context
The semantics of the OR-join in business process modeling languages like EPCs or YAWL have been discussed for a while. Still, the existing solutions suffer from at least one of two...
Jan Mendling, Wil M. P. van der Aalst
ICIP
2004
IEEE
16 years 8 months ago
A novel 2D shape matching algorithm based on B-spline modeling
This paper presents a novel algorithm for 2D planar curve recognition based on B-Spline modeling. It combines the advantages of the B-Spline that are continuous curve representati...
Yue Wang, Eam Khwang Teoh