Sciweavers

769 search results - page 122 / 154
» Reducing the cognitive complexity of business process models
Sort
View
ICIP
1998
IEEE
14 years 9 months ago
EXM Eigen Templates for Detecting and Classifying Arbitrary Junctions
A novel method for extracting parametric junction and corner features in images is presented. By treating each complex feature as a combination of elementary line and edge feature...
Dibyendu Nandy, Jezekiel Ben-Arie
MODELS
2009
Springer
14 years 1 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
ICASSP
2008
IEEE
14 years 1 months ago
Deformable trellis: open contour tracking in bio-image sequences
This paper presents an open contour tracking method that employs an arc-emission Hidden Markov Model (HMM). The algorithm encodes the shape information of the structure in a spati...
Mehmet Emre Sargin, Alphan Altinok, Kenneth Rose, ...
QSIC
2007
IEEE
14 years 1 months ago
Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power Grid
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
Yan Sun, Bruce M. McMillin, Xiaoqing Frank Liu, Da...
RT
1999
Springer
13 years 11 months ago
Decoupling Polygon Rendering from Geometry using Rasterization Hardware
The dramatically increasing size of polygonal models resulting from 3D scanning devices and advanced modeling techniques requires new approaches to reduce the load of geometry tran...
Rüdiger Westermann, Ove Sommer, Thomas Ertl