2962 search results - page 310 / 593 » Reasoning on Association Rules |
163
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
168
click to vote
TARK
2007
Springer
16 years 25 days ago
2007
Springer
Social choice rules are often evaluated and compared by inquiring whether they fulfill certain desirable criteria such as the Condorcet criterion, which states that an alternativ...
187
click to vote
ECSQARU
2005
Springer
16 years 7 days ago
2005
Springer
The most problematic and challenging issues in fuzzy modeling of nonlinear system dynamics deal with robustness and interpretability. Traditional data-driven approaches, especially...
136
click to vote
ICANN
2005
Springer
16 years 7 days ago
2005
Springer
The efficacy of two evolutionary approaches to the problem of generation of heuristical linear and non-linear evaluation functions in the game of give-away checkers is tested in th...
176
click to vote
GIS
1999
ACM
15 years 11 months ago
1999
ACM
An important activity in the design of a particular database application consists in identifying the integrity constraints that must hold on the database, and that are used to det...