1636 search results - page 237 / 328 » Type-Theoretic Functional Semantics |
231
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
We propose XRPC, a minimal XQuery extension that enables distributed yet efficient querying of heterogeneous XQuery data sources. XRPC enhances the existing concept of XQuery func...
155
click to vote
NIPS
2000
15 years 4 months ago
2000
A goal of statistical language modeling is to learn the joint probability function of sequences of words in a language. This is intrinsically difficult because of the curse of dim...
127
click to vote
IPMI
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...
122
click to vote
ICFP
2006
ACM
16 years 3 months ago
2006
ACM
Monads are widely used in Haskell for modeling computational effects, but defining monads remains a daunting challenge. Since every part of a monad's definition depends on it...
128
click to vote
TLDI
2009
ACM
16 years 10 days ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...