3116 search results - page 64 / 624 » Positively dependent types |
179
click to vote
ICDE
1995
IEEE
16 years 1 months ago
1995
IEEE
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...
OOPSLA
2009
Springer
15 years 6 months ago
2009
Springer
Generic classes can be used to improve performance by allowing compile-time polymorphism. But the applicability of compile-time polymorphism is narrower than that of runtime polym...
119
click to vote
SAC
2008
ACM
14 years 11 months ago
2008
ACM
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
DEXA
2009
Springer
15 years 6 months ago
2009
Springer
In this article we define a new type of integrity constraint in XML, called an XML inclusion constraint (XIND), and show that it extends the semantics of a relational inclusion de...
MOC
1998
14 years 11 months ago
1998
Abstract. We present here a mathematical analysis of a nonstandard difference method for the numerical solution of the time dependent GinzburgLandau models of superconductivity. Th...