Sciweavers

2962 search results - page 197 / 593
» Reasoning on Association Rules
Sort
View
IJAOSE
2007
93views more  IJAOSE 2007»
15 years 6 months ago
A formal semantics for Gaia liveness rules and expressions
The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expression...
Tim Miller, Peter McBurney
LOGCOM
2007
126views more  LOGCOM 2007»
15 years 6 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
HIS
2009
15 years 4 months ago
Implementing and Evaluating a Rule-Based Approach to Querying Regular EL+ Ontologies
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
Yuting Zhao, Jeff Z. Pan, Yuan Ren
MDM
2007
Springer
111views Communications» more  MDM 2007»
16 years 22 days ago
Situation Inference for Mobile Users: A Rule Based Approach
Mobile phones are being increasingly equipped with sensors that ease retrieval of context information about a user. Context data can be aggregated with information centrally avail...
Laurent-Walter Goix, Massimo Valla, Laura Cerami, ...
PKDD
2005
Springer
109views Data Mining» more  PKDD 2005»
16 years 2 days ago
An Imbalanced Data Rule Learner
Imbalanced data learning has recently begun to receive much attention from research and industrial communities as traditional machine learners no longer give satisfactory results. ...
Canh Hao Nguyen, Tu Bao Ho