Sciweavers

3317 search results - page 525 / 664
» Strategies in Rigid-Variable Methods
Sort
View
CAISE
2008
Springer
15 years 8 months ago
Towards a Taxonomy of Process Flexibility
Effective business processes must be able to accommodate changes in the environment in which they operate, e.g., new laws, changes in business strategy. The ability to encompass su...
Helen Schonenberg, Ronny Mans, Nick Russell, Natal...
ACII
2005
Springer
15 years 8 months ago
The Bunch-Active Shape Model
Active Shape Model (ASM) is one of the most powerful statistical tools for face image alignment. In this paper, we propose a novel method, called Bunch-Active Shape Model (Bunch-AS...
Jingcai Fan, Hongxun Yao, Wen Gao, Yazhou Liu, Xin...
ACISICIS
2005
IEEE
15 years 8 months ago
Equivalence of Transforming Non-Linear DACG to Linear Concept Tree
This paper introduces a strategy and its theory proof to transform non-linear concept graph: Directed Acyclic Concept Graph (DACG) into a linear concept tree. The transformation i...
Wenyi Bi, Junping Sun
ASPDAC
2005
ACM
109views Hardware» more  ASPDAC 2005»
15 years 8 months ago
BDD-based two variable sharing extraction
It has been shown that Binary Decision Diagram (BDD) based logic synthesis enjoys faster runtime than the classic logic synthesis systems based on Sum of Product (SOP) form. Howev...
Dennis Wu, Jianwen Zhu
CSCLP
2008
Springer
15 years 8 months ago
Solving CSPs with Naming Games
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
Stefano Bistarelli, Giorgio Gosti