611 search results - page 56 / 123 » Index Sets of Computable Structures with Decidable Theories |
IGPL
2010
13 years 7 months ago
2010
This paper is a contribution to the formalisation of Thagard’s coherence theory. The term coherence is defined as the quality or the state of cohering, especially a logical, ord...
SAGT
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. We consider the existence of Partition Equilibrium in Resource Selection Games. Super-strong equilibrium, where no subset of players has an incentive to change their stra...
ICPR
2008
IEEE
14 years 10 months ago
2008
IEEE
In this paper, we present a set of texture features that are locally invariant to similarity or affinity. The proposed indexing scheme relies on the topographic map, a shape-based...
MATES
2005
Springer
14 years 2 months ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
FOCS
2009
IEEE
14 years 1 months ago
2009
IEEE
Given a set D = {d1, d2, ..., dD} of D strings of total length n, our task is to report the "most relevant" strings for a given query pattern P. This involves somewhat mo...