4087 search results - page 112 / 818 » Sets in Types, Types in Sets |
DAGSTUHL
2004
13 years 10 months ago
2004
The topic of the talk were the time approximation of quasi linear stochastic partial differential equations of parabolic type. The framework were in the setting of stochastic evolu...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents simple, syntactic strong normalization proofs for the simply-typed -calculus and the polymorphic -calculus (system F) with the full set of logical connectives, ...
LOGCOM
2008
13 years 9 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
ICPR
2004
IEEE
14 years 10 months ago
2004
IEEE
In this paper we try to characterize a set of classification problems. For this, we use the disagreement between a set of standard classifiers. The disagreement patterns do not on...
EUSFLAT
2001
13 years 10 months ago
2001
Flexible querying aims at expressing preferences inside queries instead of strict requirements. We consider ordinary relational databases and flexible querying calling on fuzzy se...