Sciweavers

512 search results - page 65 / 103
» Structural Detection of Deadlocks in Business Process Models
Sort
View
ER
2007
Springer
130views Database» more  ER 2007»
15 years 6 months ago
Towards Automated Reasoning on ORM Schemes
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
Mustafa Jarrar
SCIA
2005
Springer
203views Image Analysis» more  SCIA 2005»
15 years 5 months ago
Automated Multiple View Inspection Based on Uncalibrated Image Sequences
The Automated Multiple View Inspection (AMVI) has been recently developed for automated defect detection of manufactured objects. The approach detects defects by analysing image se...
Domingo Mery, Miguel Carrasco
IWCMC
2010
ACM
15 years 4 months ago
Group detection in mobility traces
—Analysis and modeling of wireless networks greatly depend on understanding the structure of underlying mobile nodes. In this paper we present two clustering algorithms to determ...
Yung-Chih Chen, Elisha J. Rosensweig, Jim Kurose, ...
MM
2005
ACM
188views Multimedia» more  MM 2005»
15 years 5 months ago
Detecting group activities using rigidity of formation
Most work in human activity recognition is limited to relatively simple behaviors like sitting down, standing up or other dramatic posture changes. Very little has been achieved i...
Saad M. Khan, Mubarak Shah
DKE
2010
112views more  DKE 2010»
14 years 12 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar