Sciweavers

10092 search results - page 141 / 2019
» Active conditional models
Sort
View
IS
2012
14 years 1 days ago
On the refactoring of activity labels in business process models
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
Henrik Leopold, Sergey Smirnov 0002, Jan Mendling
TOOLS
2008
IEEE
15 years 11 months ago
Modeling of Component Environment in Presence of Callbacks and Autonomous Activities
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...
Pavel Parizek, Frantisek Plasil
ICBA
2004
Springer
271views Biometrics» more  ICBA 2004»
15 years 9 months ago
Enhance the Alignment Accuracy of Active Shape Models Using Elastic Graph Matching
Active Shape Model (ASM) is one of the most popular methods for image alignment. To improve its matching accuracy, in this paper, ASM searching method is combined with a simplifie...
Sanqiang Zhao, Wen Gao, Shiguang Shan, Baocai Yin
CVPR
2005
IEEE
16 years 6 months ago
Dynamic Environment Exploration Using a Virtual White Cane
The virtual white cane is a range sensing device based on active triangulation, that can measure distances at a rate of 15 measurements/second. A blind person can use this device ...
D. Yuan, Roberto Manduchi
VLDB
2004
ACM
139views Database» more  VLDB 2004»
16 years 4 months ago
Amit - the situation manager
: This paper presents the "situation manager", a tool that includes both a language and an efficient run-time execution mechanism, aimed at reducing the complexity of act...
Asaf Adi, Opher Etzion