2932 search results - page 103 / 587 » Higher order mining |
174
Voted
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
132
click to vote
ADBIS
2010
Springer
15 years 6 months ago
2010
Springer
Multidimensional data structures are applied in many areas, e.g. in data mining, indexing multimedia data and text documents, and so on. There are some applications where the range...
170
click to vote
IWOCA
2010
Springer
14 years 12 months ago
2010
Springer
We consider here the problem of chaining seeds in ordered trees. Seeds are mappings between two trees Q and T and a chain is a subset of non overlapping seeds that is consistent wi...
138
Voted
RSFDGRC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
161
click to vote
GECCO
2008
Springer
15 years 6 months ago
2008
Springer
This study proposes an agent-based model where adaptively learning agents with local vision who are situated in the Prisoner’s Dilemma game change their strategy and location as...