1982 search results - page 129 / 397 » Parametricity and dependent types |
193
Voted
RC
2007
15 years 6 months ago
2007
The search algorithm presented allows the CDF of a dependent variable to be bounded with 100%confidence,andallowsforaguaranteedevaluationof theerror involved.Thesereliabilitybound...
194
click to vote
ACL
2009
15 years 4 months ago
2009
The automatic extraction of relations between entities expressed in natural language text is an important problem for IR and text understanding. In this paper we show how differen...
306
click to vote
MICRO
2012
IEEE
13 years 9 months ago
2012
IEEE
This article presents a general algorithm for transforming sequential imperative programs into parallel data-flow programs. Our algorithm operates on a program dependence graph i...
164
click to vote
GLOBECOM
2006
IEEE
16 years 21 days ago
2006
IEEE
— This work presents a statistical field study of the availability of time sources for location in a true wireless network. Terrestrial (base stations) and satellite (GPS) source...
194
click to vote
INFORSID
1996
15 years 8 months ago
1996
: This paper presents a propagation model for complex object versions. Complex objects are object linked to other objects by means of dependence relations such as composition, inhe...