Sciweavers

1813 search results - page 85 / 363
» Instance Pruning Techniques
Sort
View
FMICS
2007
Springer
15 years 8 months ago
Model Classifications and Automated Verification
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
Radek Pelánek
DAC
2000
ACM
16 years 5 months ago
The use of carry-save representation in joint module selection and retiming
Joint module selection and retiming is a powerful technique to optimize the implementation cost and the speed of a circuit specified using a synchronous data-flow graph (DFG). In ...
Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr.
MLDM
2005
Springer
15 years 10 months ago
Supervised Evaluation of Dataset Partitions: Advantages and Practice
In the context of large databases, data preparation takes a greater importance : instances and explanatory attributes have to be carefully selected. In supervised learning, instanc...
Sylvain Ferrandiz, Marc Boullé
CSB
2003
IEEE
116views Bioinformatics» more  CSB 2003»
15 years 10 months ago
Towards Index-based Similarity Search for Protein Structure Databases
We propose two methods for finding similarities in protein structure databases. Our techniques extract feature vectors on triplets of SSEs (Secondary Structure Elements) of prote...
Orhan Çamoglu, Tamer Kahveci, Ambuj K. Sing...
TVCG
2008
136views more  TVCG 2008»
15 years 4 months ago
Hierarchical Tensor Approximation of Multi-Dimensional Visual Data
Abstract-- Visual data comprise of multi-scale and inhomogeneous signals. In this paper, we exploit these characteristics and develop a compact data representation technique based ...
Qing Wu, Tian Xia, Chun Chen, Hsueh-Yi Sean Lin, H...