7289 search results - page 345 / 1458 » A Dependent Set Theory |
175
click to vote
MSCS
2008
15 years 6 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...
113
click to vote
MSS
2008
IEEE
15 years 6 months ago
2008
IEEE
Individual choices often depend on the order in which the decisions are made. In this paper, we expose a general theory of measurable systems (an example of which is an individual...
136
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We consider a norm-preconditioning approach for the solution of discontinuous Galerkin finite element discretizations of second order PDE with non-negative characteristic form. In ...
156
click to vote
JECR
2002
15 years 6 months ago
2002
Based on ethnographic studies of two business-to-business (B2B) electronic commerce (EC) marketplaces and a review of interorganizational relationship literature, this paper propo...
191
click to vote
TMM
2002
15 years 6 months ago
2002
This paper presents the rudiments of a theory of schema design for databases containing high dimensional features of the type used for describing multimedia data. We introduce a mo...