136 search results - page 14 / 28 » Extending the Resolution Method with Sorts |
LICS
1999
IEEE
15 years 1 months ago
1999
IEEE
We give a new decision procedure for the guarded fragment with equality. The procedure is based on resolution with superposition. We argue that this method will be more useful in ...
ICIP
2009
IEEE
14 years 7 months ago
2009
IEEE
In this paper a new solution for the single sample problem in low resolution face recognition is proposed. The proposed solution uses an enhanced virtual pose generation method to...
RECOMB
2008
Springer
15 years 10 months ago
2008
Springer
Abstract. As data about genomic architecture accumulates, genomic rearrangements have attracted increasing attention. One of the main rearrangement mechanisms, inversions (also cal...
68
Voted
MICCAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Fibered confocal microscopy allows in vivo and in situ imaging with cellular resolution. The potentiality of this imaging modality is extended in this work by using video...
ICASSP
2007
IEEE
15 years 1 months ago
2007
IEEE
Thanks to a specific formalism for signal generation, it is possible to transpose an image processing problem to an array processing problem. For straight line characterization, t...