835 search results - page 9 / 167 » Characterizing rosy theories |
123
Voted
PODS
2008
ACM
16 years 1 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...
135
click to vote
ICCS
2007
Springer
15 years 8 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...
111
Voted
COGSCI
2004
15 years 1 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...
111
click to vote
MANSCI
2006
15 years 1 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...
152
Voted
AI
2005
Springer
15 years 1 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...