15 search results - page 3 / 3 » Herbrand Sequent Extraction |
ASPDAC
2007
ACM
13 years 9 months ago
2007
ACM
-1 The couplings via realistic lossy substrates can be modeled as frequency-dependent coupling parameters. The fast extraction at multiple frequencies can be accomplished in two se...
LFCS
2009
Springer
14 years 10 days ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
LICS
2008
IEEE
14 years 5 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
AMC
2007
13 years 5 months ago
2007
When correlating the samples with the corresponding class labels, canonical correlation analysis (CCA) can be used for supervised feature extraction and subsequent classification...
MVA
2000
13 years 5 months ago
2000
In this paper, we propose a technique for segmenting visual textures using features extracted from the reponses of Ga,bor filters, appropria.tely selectecl to be tuned to texture ...