1604 search results - page 12 / 321 » Development Separation in Lambda-Calculus |
IPCV
2007
13 years 9 months ago
2007
Separating handwritten and typewritten text within unconstrained paper documents can provide more accurate and efficient OCR results. This paper presents a technique developed that...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In one-dimensional signal processing, the perfect reconstruction (PR) synthesis FB is not unique for a given analysis LP oversampled filter bank (FB). Optimal Design methods have...
BMCBI
2008
13 years 7 months ago
2008
Background: There is an urgent need for new prognostic markers of breast cancer metastases to ensure that newly diagnosed patients receive appropriate therapy. Recent studies have...
APLAS
2010
ACM
13 years 7 months ago
2010
ACM
We extract techniques developed in the Concurrent C minor project to build a framework for constructing logics that contain approximation and/or separation. Approximation occurs wh...
CSL
2004
Springer
13 years 11 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...