1313 search results - page 79 / 263 » Generic Universe Types |
165
click to vote
PVLDB
2010
15 years 2 months ago
2010
Tables are a universal idiom to present relational data. Billions of tables on Web pages express entity references, attributes and relationships. This representation of relational...
123
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
In this paper, the result of applying iterative univariate resultant constructions to multivariate polynomials is analyzed. We consider the input polynomials as generic polynomials...
127
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...
106
click to vote
ANLP
1994
15 years 5 months ago
1994
A new type of thesaurus for word processing is proposed. It comprises 7 semantic and 8 syntagmatic types of links between Russian words and collocations. The original version now ...
132
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. This paper gives a reduction-preserving translation from Coquand's dependent pattern matching [4] into a traditional type theory [11] with universes, inductive types...