Sciweavers

2157 search results - page 255 / 432
» Binary ant algorithm
Sort
View
IPPS
1993
IEEE
15 years 10 months ago
Mapping Interconnection Networks into VEDIC Networks
We show the universality of the VEDIC network in simulating other well known interconnection networks by generating the parameters of the VEDtC network automatically. Algorithms a...
Vipin Chaudhary, Bikash Sabata, Jake K. Aggarwal
CAV
1993
Springer
127views Hardware» more  CAV 1993»
15 years 10 months ago
Symbolic Equivalence Checking
Abstract. We describe the implementation, within ALDEBARAN of an algorithmic method allowing the generation of a minimal labeled transition rom an abstract model ; this minimality ...
Jean-Claude Fernandez, Alain Kerbrat, Laurent Moun...
ASPDAC
2007
ACM
152views Hardware» more  ASPDAC 2007»
15 years 10 months ago
A Graph Reduction Approach to Symbolic Circuit Analysis
A new graph reduction approach to symbolic circuit analysis is developed in this paper. A Binary Decision Diagram (BDD) mechanism is formulated, together with a specially designed ...
Guoyong Shi, Weiwei Chen, C.-J. Richard Shi
PKDD
2000
Springer
134views Data Mining» more  PKDD 2000»
15 years 10 months ago
Induction of Multivariate Decision Trees by Using Dipolar Criteria
A new approach to the induction of multivariate decision trees is proposed. A linear decision function (hyper-plane) is used at each non-terminal node of a binary tree for splittin...
Leon Bobrowski, Marek Kretowski
158
Voted
ECIR
2010
Springer
15 years 7 months ago
Laplacian Co-hashing of Terms and Documents
A promising way to accelerate similarity search is semantic hashing which designs compact binary codes for a large number of documents so that semantically similar documents are ma...
Dell Zhang, Jun Wang, Deng Cai, Jinsong Lu