1189 search results - page 93 / 238 » The Quotient of an Abstract Interpretation |
137
click to vote
TBILLC
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. In this paper, we present a game theoretic account of a subclass of ‘relevance’ implicatures arising from irrelevant answers. We show that these phenomena can be expl...
198
click to vote
TLCA
2007
Springer
16 years 12 days ago
2007
Springer
Abstract. In 1994 Herbelin started and partially achieved the programme of showing that, for intuitionistic implicational logic, there is a Curry-Howard interpretation of sequent c...
156
click to vote
ECAL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In human societies, facts are constructed through social consensus. Here, the formation of social institutions in such a society is studied using a multi-agent-based simu...
134
click to vote
ECAL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
138
click to vote
ECML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We study discriminative joint density models, that is, generative models for the joint density p(c, x) learned by maximizing a discriminative cost function, the condition...