Sciweavers

741 search results - page 96 / 149
» A Novel Approach for Hardware Based Sound Classification
Sort
View
ECCV
2008
Springer
15 years 5 months ago
3D Non-rigid Surface Matching and Registration Based on Holomorphic Differentials
3D surface matching is fundamental for shape registration, deformable 3D non-rigid tracking, recognition and classification. In this paper we describe a novel approach for generati...
Wei Zeng, Yun Zeng, Yang Wang, Xiaotian Yin, Xianf...
137
Voted
ASYNC
2005
IEEE
118views Hardware» more  ASYNC 2005»
15 years 9 months ago
Modeling and Verifying Circuits Using Generalized Relative Timing
We propose a novel technique for modeling and verifying timed circuits based on the notion of generalized relative timing. Generalized relative timing constraints can express not ...
Sanjit A. Seshia, Randal E. Bryant, Kenneth S. Ste...
126
Voted
WWW
2005
ACM
15 years 9 months ago
Representing personal web information using a topic-oriented interface
Nowadays, Web activities have become daily practice for people. It is therefore essential to organize and present this continuously increasing Web information in a more usable man...
Zhigang Hua, Hao Liu, Xing Xie, Hanqing Lu, Wei-Yi...
AAAI
2006
15 years 5 months ago
Semi-supervised Multi-label Learning by Constrained Non-negative Matrix Factorization
We present a novel framework for multi-label learning that explicitly addresses the challenge arising from the large number of classes and a small size of training data. The key a...
Yi Liu, Rong Jin, Liu Yang
138
Voted
TAP
2010
Springer
102views Hardware» more  TAP 2010»
15 years 9 months ago
Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding
Abstract. We consider the problem of test generation for Boolean combinational circuits. We use a novel approach based on the idea of treating tests as a proof encoding rather than...
Eugene Goldberg, Panagiotis Manolios