3342 search results - page 246 / 669 » Automating Abstract Interpretation |
142
click to vote
TBILLC
2007
Springer
16 years 19 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...
208
click to vote
TLCA
2007
Springer
16 years 19 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...
160
click to vote
ECAL
2005
Springer
16 years 2 days 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...
141
click to vote
ECAL
2005
Springer
16 years 2 days 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...
143
click to vote
ECML
2005
Springer
16 years 2 days 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...