28 search results - page 2 / 6 » Second-Order Consistencies |
FPL
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. This paper presents a new scheme for the hardware evaluation of elementary functions, based on a piecewise second order minimax approximation. The novelty is that this ev...
ICMCS
1999
IEEE
13 years 10 months ago
1999
IEEE
The content-based indexing task considered in this paper consists in recognizing from their voice, speakers involved in a conversation. A new approach for speaker-based segmentati...
PSIVT
2009
Springer
13 years 10 months ago
2009
Springer
Today’s stereo vision algorithms and computing technology allow real-time 3D data analysis, for example for driver assistance systems. A recently developed Semi-Global Matching (...
TPHOL
2007
IEEE
14 years 15 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
ILP
2004
Springer
13 years 11 months ago
2004
Springer
In this paper, we study the generalization algorithms for second-order terms, which are treated as first-order terms with function variables, under an instantiation order denoted ...