835 search results - page 9 / 167 » Characterizing rosy theories |
107
click to vote
PODS
2008
ACM
15 years 12 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
112
click to vote
ICCS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...
COGSCI
2004
14 years 11 months ago
2004
Performance in perceptual tasks often improves with practice. This effect is known as `perceptual learning,' and it has been the source of a great deal of interest and debate...
MANSCI
2006
14 years 11 months ago
2006
Second order stochastic dominance characterizes risk-averse preferences represented by expected utility. This paper supplies second order stochastic dominance conditions that char...
125
click to vote
AI
2005
Springer
14 years 11 months ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...