Sciweavers

742 search results - page 61 / 149
» Constructing Hierarchical Rule Systems
Sort
View
CDC
2010
IEEE
130views Control Systems» more  CDC 2010»
13 years 3 months ago
Decomposability of global tasks for multi-agent systems
Abstract-- Multi-agent system is a rapidly developing research area with strong support from both civilian and military applications. One of the essential problems in multi-agent s...
Mohammad Karimadini, Hai Lin 0002
SQJ
2002
106views more  SQJ 2002»
13 years 7 months ago
Energy Metric for Software Systems
Acknowledging the intense requirement for low power operation in most portable computing systems, this paper introduces the notion of energy efficient software design and proposes ...
Alexander Chatzigeorgiou, George Stephanides
CORR
2008
Springer
112views Education» more  CORR 2008»
13 years 8 months ago
Canonical calculi with (n,k)-ary quantifiers
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
Arnon Avron, Anna Zamansky
KDD
1995
ACM
99views Data Mining» more  KDD 1995»
13 years 11 months ago
Active Data Mining
We introduce an active data mining paradigm that combines the recent work in data mining with the rich literature on active database systems. In this paradigm, data is continuousl...
Rakesh Agrawal, Giuseppe Psaila
AAAI
2007
13 years 10 months ago
L2R: A Logical Method for Reference Reconciliation
The reference reconciliation problem consists in deciding whether different identifiers refer to the same data, i.e., correspond to the same world entity. The L2R system exploits...
Fatiha Saïs, Nathalie Pernelle, Marie-Christi...