1999 search results - page 83 / 400 » Dependently Typed Grammars |
124
click to vote
OOPSLA
2009
Springer
16 years 22 days 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...
206
click to vote
SAC
2008
ACM
15 years 5 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 ...
145
click to vote
DEXA
2009
Springer
16 years 23 days 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...
144
click to vote
MOC
1998
15 years 5 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...
144
click to vote
FODO
1993
Springer
15 years 10 months ago
1993
Springer
Abstract–Multimedia computing requires support for heterogeneous data types with differing storage, communication and delivery requirements. Continuous media data types such as ...