Sciweavers

8669 search results - page 337 / 1734
» Computing matrix representations
Sort
View
DAC
2006
ACM
16 years 7 months ago
Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability
- Classical two-variable symmetries play an important role in many EDA applications, ranging from logic synthesis to formal verification. This paper proposes a complete circuit-bas...
Jin S. Zhang, Alan Mishchenko, Robert K. Brayton, ...
IWINAC
2009
Springer
16 years 1 months ago
Toward an Integrated Visuomotor Representation of the Peripersonal Space
The purpose of this work is the creation of a description of objects in the peripersonal space of a subject that includes two kinds of concepts, related to on-line, action-related ...
Eris Chinellato, Beata Grzyb, Patrizia Fattori, An...
EUROPAR
2007
Springer
16 years 27 days ago
A First Step Towards Automatically Building Network Representations
To fully harness Grids, users or middlewares must have some knowledge on the topology of the platform interconnection network. As such knowledge is usually not available, one must ...
Lionel Eyraud-Dubois, Arnaud Legrand, Martin Quins...
EVOW
2007
Springer
16 years 27 days ago
Genetic Representations for Evolutionary Minimization of Network Coding Resources
Abstract. We demonstrate how a genetic algorithm solves the problem of minimizing the resources used for network coding, subject to a throughput constraint, in a multicast scenario...
Minkyu Kim, Varun Aggarwal, Una-May O'Reilly, Muri...
ICCS
2007
Springer
16 years 27 days ago
Reducing the Representation Complexity of Lattice-Based Taxonomies
Abstract. Representing concept lattices constructed from large contexts often results in heavy, complex diagrams that can be impractical to handle and, eventually, to make sense of...
Sergei O. Kuznetsov, Sergei A. Obiedkov, Camille R...