47 search results - page 5 / 10 » Digital Encoding Applied to Sign Language Video |
CIE
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
110
click to vote
CVPR
2001
IEEE
16 years 29 days ago
2001
IEEE
We present a new adaptive algorithm for automatic detection of text from a natural scene. The initial cues of text regions are first detected from the captured image/video. An ada...
EUROCRYPT
1999
Springer
15 years 3 months ago
1999
Springer
A recoding rule for exponentiation is a method for reducing the cost of the exponentiation ae by reducing the number of required multiplications. If w(e) is the (hamming) weight of...
ARITH
1999
IEEE
15 years 3 months ago
1999
IEEE
A new IEEE compliant floating-point rounding algorithm for computing the rounded product from a carry-save representation of the product is presented. The new rounding algorithm i...
114
click to vote
JASIS
1998
14 years 10 months ago
1998
The standard method for making the full content of audio and video material searchable and is to annotate it with humangenerated meta-data that describes the content in a way that...