13985 search results - page 116 / 2797 » Active Feature Models |
169
click to vote
IS
2012
13 years 10 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
124
click to vote
TOOLS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
107
click to vote
ICIP
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes a new algorithm for the recognition of human activities. These activities are modelled using banks of switched dynamical models, each of which is tailored to ...
133
click to vote
AIME
2009
Springer
15 years 4 months ago
2009
Springer
: Clinical Pathways can be viewed as workflows, comprising an ordering of activities with associated execution constraints. Workflow models allow formal representation, analysis an...
112
click to vote
APBC
2004
15 years 4 months ago
2004
THEMATICS (Theoretical Microscopic Titration Curves) is a simple, reliable computational predictor of the active sites of enzymes from structure. Our method, based on well-establi...