2687 search results - page 74 / 538 » On the Conversion between Number Systems |
MM
2005
ACM
14 years 3 months ago
2005
ACM
To locate a video clip in large collections is very important for retrieval applications, especially for digital rights management. In this paper, we present a novel technique for...
ISCAS
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper introduces a static multi-level memory cell that was conceived to store state variables in neuromorphic onchip learning applications. It consists of a capacitance that ...
VLDB
1991
ACM
14 years 1 months ago
1991
ACM
In this paper we describe a rule-based approach to semantic specification that can be used to establish semantic agreement between a source and receiver. Query processing techniqu...
CIIA
2009
13 years 10 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
TASLP
2011
13 years 4 months ago
2011
—We present a new technique for joint estimation of the chord progression and the downbeats from an audio file. Musical signals are highly structured in terms of harmony and rhy...