1626 search results - page 59 / 326 » Subtyping with Power Types |
139
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Approximating the sum of Log–Normal random variables (RVs) is a long–standing open issue, in the old and recent literature, and many approaches have been proposed to deal w...
177
Voted
ISVLSI
2003
IEEE
15 years 9 months ago
2003
IEEE
The behavior of many algorithms is heavily determined by the input data. Furthermore, this often means that multiple and completely different execution paths can be followed, also...
262
Voted
SIGMOD
2000
ACM
15 years 8 months ago
2000
ACM
XML is rapidly emerging as the new standard for data representation and exchange on the Web. An XML document can be accompanied by a Document Type Descriptor (DTD) which plays the...
158
Voted
SAS
1994
Springer
15 years 7 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
145
Voted
ENTCS
2002
15 years 3 months ago
2002
The last few years have seen the development of a new calculus which can be considered as an outcome of the last decade of various researches on (higher order) term rewriting syst...