2203 search results - page 193 / 441 » Temporal Abstract Interpretation |
107
click to vote
ECAL
2005
Springer
15 years 9 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...
109
click to vote
ECML
2005
Springer
15 years 9 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...
134
click to vote
FSKD
2005
Springer
15 years 9 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...
150
click to vote
ICTCS
2005
Springer
15 years 9 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...
128
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
A type system for object models is described that supports subtypes and allows overloading of relation names. No special features need be added to the modelling language; in parti...