1096 search results - page 21 / 220 » Abstract Canonical Inference |
FMICS
2009
Springer
15 years 4 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
VMCAI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We introduce Subpolyhedra (SubPoly) a new numerical abstract domain to infer and propagate linear inequalities. SubPoly is as expressive as Polyhedra, but it drops some o...
104
Voted
ACCV
2007
Springer
15 years 3 months ago
2007
Springer
In this paper, we address the problem of producing visible spectrum facial images as we normally see by using thermal infrared images. We apply Canonical Correlation Analysis (CCA)...
JACIII
2008
14 years 9 months ago
2008
images are observed with cameras and abstract features extracted using image processing. System output is the status of printing pressure, divided into excessive pressure (EP), goo...
100
Voted
JOT
2010
14 years 8 months ago
2010
Abstract Periodic refactoring of a large source code often becomes a necessity especially for long-lived projects. In order to increase maintainability and extensibility of such pr...