515 search results - page 95 / 103 » Efficient Logic Optimization Using Regularity Extraction |
106
click to vote
JSC
2006
15 years 2 months ago
2006
In this paper we show that a large class of cut-elimination methods can be analyzed by clause terms representing sets of characteristic clauses extractable from the original proof...
140
click to vote
TCSV
2002
15 years 1 months ago
2002
Abstract--The emerging video coding standard MPEG-4 enables various content-based functionalities for multimedia applications. To support such functionalities, as well as to improv...
124
Voted
ESWA
2011
14 years 9 months ago
2011
This paper presents a personalized long-term electrocardiogram (ECG) classification framework, which addresses the problem within a long-term ECG signal, known as Holter register, ...
182
Voted
JIPS
2010
14 years 9 months ago
2010
Abstract--The Internet explosion and the increase in crucial web applications such as ebanking and e-commerce, make essential the need for network security tools. One of such tools...
149
click to vote
ICPR
2004
IEEE
16 years 3 months ago
2004
IEEE
ct We propose a new near-real time technique for 3D face pose tracking from a monocular image sequence obtained from an uncalibrated camera. The basic idea behind our approach is t...