Sciweavers

14850 search results - page 302 / 2970
» A Geometric Approach to Betweenness
Sort
View
IFIP8
2007
15 years 8 months ago
A Hybrid Approach for Business Process Verification
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
Bing Li, Junichi Iijima
154
Voted
IJCAI
2001
15 years 8 months ago
On Market-Inspired Approaches to Propositional Satisfiability
We describe two market-inspired approaches to propositional satisfiability. Whereas a previous market-inspired approach exhibited extremely slow performance, we find that variatio...
William E. Walsh, Makoto Yokoo, Katsutoshi Hirayam...
ICDE
2006
IEEE
130views Database» more  ICDE 2006»
16 years 8 months ago
MIC Framework: An Information-Theoretic Approach to Quantitative Association Rule Mining
We propose a framework, called MIC, which adopts an information-theoretic approach to address the problem of quantitative association rule mining. In our MIC framework, we first d...
Yiping Ke, James Cheng, Wilfred Ng
ER
2004
Springer
93views Database» more  ER 2004»
16 years 3 days ago
A Pattern and Dependency Based Approach to the Design of Process Models
Abstract. In this paper an approach for building process models for ecommerce is proposed. It is based on the assumption that the process modeling task can be methodologically supp...
Maria Bergholtz, Prasad Jayaweera, Paul Johannesso...
EDOC
2004
IEEE
15 years 10 months ago
A Rigorous Approach to Relate Enterprise and Computational Viewpoints
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
Remco M. Dijkman, Dick A. C. Quartel, Luís ...