596 search results - page 116 / 120 » Subtyping Recursive Types |
124
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
VLDB
2001
ACM
15 years 4 months ago
2001
ACM
Bulk loading refers to the process of creating an index from scratch for a given data set. This problem is well understood for B-trees, but so far, non-traditional index structure...
111
click to vote
VISUALIZATION
1994
IEEE
15 years 3 months ago
1994
IEEE
We will try to address the need for a formal foundation for visualization by taking an analytic approach to defining D. Since an arbitrary function D: U V will not produce display...
ICFP
2007
ACM
15 years 3 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
AINA
2004
IEEE
15 years 3 months ago
2004
IEEE
Unlike host mobility support, network mobility is concerned with situations where an entire network changes its point of attachment to the Internet. Furthermore, we should conside...