515 search results - page 95 / 103 » Efficient Logic Optimization Using Regularity Extraction |
88
Voted
JSC
2006
14 years 11 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...
109
Voted
TCSV
2002
14 years 11 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...
ESWA
2011
14 years 6 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, ...
144
click to vote
JIPS
2010
14 years 6 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...
126
Voted
ICPR
2004
IEEE
16 years 22 days 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...