4211 search results - page 243 / 843 » Types as Abstract Interpretations |
197
click to vote
TLCA
2007
Springer
16 years 7 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...
152
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...
130
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...
134
Voted
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...
157
click to vote
FSKD
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We introduce a property of set to represent vagueness without using truth value. It has gotten less attention in fuzzy set theory. We introduce it by analyzing a well-kno...