Sciweavers

14331 search results - page 389 / 2867
» On the modeling and analysis of obligations
Sort
View
BPM
2009
Springer
124views Business» more  BPM 2009»
15 years 8 months ago
Faster and Better Business Process Modeling with the IBM Pattern-based Process Model Accelerators
Abstract. The IBM Pattern-based Process Model Accelerators add a set of patterns, transformations, refactoring operations, and a control-flow analysis feature to IBM WebSphere Busi...
Cédric Favre, Thomas Gschwind, Jana Koehler...
DCC
2006
IEEE
16 years 6 months ago
Analysis of Redundant-Wavelet Multihypothesis for Motion Compensation
An analysis is presented that examines multihypothesis motion-compensated video coding using a redundant wavelet transform to produce multiple predictions that are diverse in tran...
James E. Fowler
FMICS
2007
Springer
16 years 1 months ago
Analysis of a Session-Layer Protocol in mCRL2
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
Marko C. J. D. van Eekelen, Stefan ten Hoedt, Ren&...
AVSS
2006
IEEE
16 years 27 days ago
Recognizing Facial Expressions in Videos Using a Facial Action Analysis-Synthesis Scheme
In this paper, we propose a novel approach for facial expression analysis and recognition. The proposed approach relies on tracked facial actions provided by an appearance-based 3...
Fadi Dornaika, Bogdan Raducanu
172
Voted
HAPTICS
2005
IEEE
16 years 14 days ago
The Maxima Haptics Package -- A Tool for Symbolic Analysis of Haptics and Teleoperation
The Maxima Haptics Package is a free software package for symbolic analysis of linear models of haptic devices and teleoperators. From a mechanical model of the haptic device, the...
Göran A. V. Christiansson