2203 search results - page 193 / 441 » Temporal Abstract Interpretation |
154
click to vote
ECAL
2005
Springer
16 years 19 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...
160
click to vote
ECML
2005
Springer
16 years 19 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...
184
click to vote
FSKD
2005
Springer
16 years 18 days 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...
191
click to vote
ICTCS
2005
Springer
16 years 18 days 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...
182
click to vote
SIGSOFT
2004
ACM
16 years 15 days 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...