2962 search results - page 116 / 593 » Reasoning on Association Rules |
160
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters
194
click to vote
VL
2000
IEEE
15 years 10 months ago
2000
IEEE
Isaac is a programing language for geometric reasoning intended for controlling mobile robots, currently under development at NMSU. Due to the application area, handling input and...
173
click to vote
CSL
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are reco...
176
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...
157
click to vote
JURIX
2008
15 years 7 months ago
2008
The two main types of law are legislation and precedents. Both types have a corresponding reasoning pattern determining legal consequences: legislation can be applied and precedent...