Sciweavers

675 search results - page 101 / 135
» Generating Business Process Models from Object Behavior Mode...
Sort
View
MICCAI
2003
Springer
16 years 2 months ago
The Euler-Lagrange Equation for Interpolating Sequence of Landmark Datasets
Abstract. Non-rigid registration of landmarked datasets is an important problem that finds many applications in medical image analysis. In this paper, we present a method for inter...
Alain Trouvé, Laurent Younes, Michael I. Mi...
ICIP
2010
IEEE
14 years 11 months ago
An integer programming approach to visual compliance
Visual compliance has emerged as a new paradigm to ensure that employees comply with processes and policies in a business context [1]. In this paper, we focus on videos from retai...
Lei Ding, Quanfu Fan, Sharath Pankanti
CORR
2008
Springer
123views Education» more  CORR 2008»
15 years 1 months ago
Networks become navigable as nodes move and forget
Abstract. We propose a dynamic process for network evolution, aiming at explaining the emergence of the small world phenomenon, i.e., the statistical observation that any pair of i...
Augustin Chaintreau, Pierre Fraigniaud, Emmanuelle...
ECAI
2008
Springer
15 years 3 months ago
Learning in Planning with Temporally Extended Goals and Uncontrollable Events
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
André A. Ciré, Adi Botea
TOPNOC
2008
15 years 1 months ago
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
H. M. W. (Eric) Verbeek, A. Johannes Pretorius, Wi...