1189 search results - page 93 / 238 » The Quotient of an Abstract Interpretation |
81
Voted
TBILLC
2007
Springer
15 years 6 months 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...
135
Voted
TLCA
2007
Springer
15 years 6 months 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...
86
Voted
ECAL
2005
Springer
15 years 6 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...
ECAL
2005
Springer
15 years 6 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...
82
Voted
ECML
2005
Springer
15 years 6 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...