1636 search results - page 47 / 328 » Type-Theoretic Functional Semantics |
131
click to vote
GEOS
2005
Springer
15 years 9 months ago
2005
Springer
Semantic similarity measurement plays a significant role in semantic interoperability and in information retrieval within the geo domain as it supports the detection of conceptuall...
112
Voted
ICDT
2005
ACM
15 years 9 months ago
2005
ACM
What does a data stream mean? Much of the extensive work on query operators and query processing for data streams has proceeded without the benefit of an answer to this question. ...
119
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
150
click to vote
IFL
1998
Springer
15 years 7 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...
139
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
We present a unifying solution to the problem of fusion of functions, where both the producer function and the consumer function have one accumulating parameter. The key idea in t...