611 search results - page 56 / 123 » Index Sets of Computable Structures with Decidable Theories |
126
Voted
IGPL
2010
15 years 2 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...
137
Voted
SAGT
2010
Springer
15 years 2 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...
131
Voted
ICPR
2008
IEEE
16 years 5 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...
139
Voted
MATES
2005
Springer
15 years 9 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...
150
Voted
FOCS
2009
IEEE
15 years 7 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...