469 search results - page 23 / 94 » Putting curry-howard to work |
ICDAR
2009
IEEE
14 years 2 months ago
2009
IEEE
This article presents a global optimization approach to reconstruct surfaces from a single document image. Instead of assuming globally developable in previous works which restric...
IWPC
2009
IEEE
14 years 2 months ago
2009
IEEE
An approach to recommend a ranked list of developers to assist in performing software changes given a textual change request is presented. The approach employs a two-fold strategy...
ADC
2009
Springer
14 years 2 months ago
2009
Springer
In this work an R-tree variant, which uses minimum volume covering ellipsoids instead of usual minimum bounding rectangles, is presented. The most significant aspects, which dete...
EGOV
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents the refinement and validation of a model for Quality of e-Government Services (QeGS). We built upon our previous work where a conceptualized model was identifie...
LOPSTR
2009
Springer
14 years 2 months ago
2009
Springer
In this work, we first consider a goal-oriented extension of the dependency pair framework for proving termination w.r.t. a given set of initial terms. Then, we introduce a new re...