Sciweavers

5718 search results - page 100 / 1144
» Modeling Rule Precision
Sort
View
TKDE
2008
139views more  TKDE 2008»
15 years 6 months ago
Mining Weighted Association Rules without Preassigned Weights
Association rule mining is a key issue in data mining. However, the classical models ignore the difference between the transactions, and the weighted association rule mining does n...
Ke Sun, Fengshan Bai
ICALP
2003
Springer
15 years 11 months ago
Oracle Circuits for Branching-Time Model Checking
A special class of oracle circuits with tree-vector form is introduced. It is shown that they can be evaluated in deterministic polynomial-time with a polylog number of adaptive qu...
Ph. Schnoebelen
DAGSTUHL
2004
15 years 7 months ago
Making Specifications Complete Through Models
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
Bernd Schoeller, Tobias Widmer, Bertrand Meyer
FASE
2008
Springer
15 years 8 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
IDA
2000
Springer
15 years 6 months ago
Reducing redundancy in characteristic rule discovery by using integer programming techniques
The discovery of characteristic rules is a well-known data mining task and has lead to several successful applications. However, because of the descriptive nature of characteristic...
Tom Brijs, Koen Vanhoof, Geert Wets