469 search results - page 23 / 94 » Putting curry-howard to work |
152
click to vote
ICDAR
2009
IEEE
16 years 24 days 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...
142
click to vote
IWPC
2009
IEEE
16 years 21 days 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...
156
click to vote
ADC
2009
Springer
16 years 21 days 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...
160
Voted
EGOV
2009
Springer
16 years 19 days 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...
177
click to vote
LOPSTR
2009
Springer
16 years 18 days 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...