394 search results - page 23 / 79 » An Abstract Domain of Uninterpreted Functions |
86
Voted
EXPERT
2002
15 years 6 days ago
2002
of thousands) of PubMed abstracts covering literature relevant to the domain of interest. For instance, This method uses the scientific literature to establish functional relations...
80
Voted
SAS
1994
Springer
15 years 4 months ago
1994
Springer
Strictness analysis has been a living field of investigation since Mycroft's original work in 1980, and is getting increasingly significant with the still wider use of lazy fu...
169
Voted
GMP
2010
IEEE
15 years 19 days ago
2010
IEEE
Abstract. Riemann surfaces naturally appear in the analysis of complex functions that are branched over the complex plane. However, they usually possess a complicated topology and ...
168
Voted
PAMI
2012
13 years 2 months ago
2012
Abstract—Given the size and confidence of pairwise local orderings, angular embedding (AE) finds a global ordering with a nearglobal optimal eigensolution. As a quadratic crite...
124
Voted
IFL
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. In this report a new backward strictness analysis for functional languages is presented. It is called higher order demand propagation and is applicable to a realistic non...