1511 search results - page 31 / 303 » Relational Parametricity for Computational Effects |
161
click to vote
IPC
2007
IEEE
15 years 10 months ago
2007
IEEE
The nature of the concepts regarding images in many domains are imprecise, and the interpretation of finding similar images is also ambiguous and subjective on the level of human ...
235
click to vote
ICDE
2003
IEEE
16 years 5 months ago
2003
IEEE
We present a technique for refining the design of relational storage for XML data based on XML key propagation. Three algorithms are presented: one checks whether a given function...
125
click to vote
ICASSP
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we propose an approximation of the relative phase probability function (RP pdf) and use it to find a non-iterative estimator for the concentration parameter of the...
131
click to vote
COLING
2010
14 years 11 months ago
2010
This paper presents a new approach to improving relation extraction based on minimally supervised learning. By adding some limited closed-world knowledge for confidence estimation...
132
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We define an “enriched effect calculus” by extending a type theory for computational effects with primitives from linear logic. The new calculus, which generalises intuitionis...