2189 search results - page 79 / 438 » A Graded Applicability of Rules |
LOGCOM
2010
13 years 8 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
CIKM
2010
Springer
13 years 8 months ago
2010
Springer
Link structures are important patterns one looks out for when modeling and analyzing social networks. In this paper, we propose the task of mining interesting Link Formation rules...
KI
2009
Springer
14 years 4 months ago
2009
Springer
Embodied agents can be a powerful interface for natural human-computer interaction. While graphical realism is steadily increasing, the complexity of believable behavior is still h...
ILP
2005
Springer
14 years 3 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
BIOSIG
2007
13 years 11 months ago
2007
Abstract: Fusion is a popular practice to combine multiple classifiers or multiple modalities in biometrics. In this paper, optimal decision fusion (ODF) by AND rule and OR rule i...