1689 search results - page 160 / 338 » Refining abstract interpretations |
133
click to vote
ECAL
2005
Springer
15 years 10 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...
117
click to vote
ECAL
2005
Springer
15 years 10 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...
115
click to vote
ECML
2005
Springer
15 years 10 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...
142
Voted
FSKD
2005
Springer
15 years 10 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...
156
Voted
ICTCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...