Sciweavers

1178 search results - page 91 / 236
» Modeling and analysis of content identification
Sort
View
SIGSAND
2008
13 years 10 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
Jan Mendling, Wil M. P. van der Aalst
WSC
1998
13 years 10 months ago
Informational Macrodynamics: System Modelling and Simulation Methodologies
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
Vladimir S. Lerner
SAS
1999
Springer
124views Formal Methods» more  SAS 1999»
14 years 1 months ago
State Space Reduction Based on Live Variables Analysis
The intrinsic complexity of most protocol speci cations in particular, and of asynchronous systems in general, lead us to study combinations of static analysis with classical model...
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu
ECCV
2006
Springer
14 years 11 months ago
Gait Recognition Using a View Transformation Model in the Frequency Domain
Gait analyses have recently gained attention as methods of identification of individuals at a distance from a camera. However, appearance changes due to view direction changes caus...
Yasushi Makihara, Ryusuke Sagawa, Yasuhiro Mukaiga...
ADC
2004
Springer
109views Database» more  ADC 2004»
14 years 2 months ago
Data Flow and Validation in Workflow Modelling
A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, th...
Shazia W. Sadiq, Maria E. Orlowska, Wasim Sadiq, C...