837 search results - page 67 / 168 » Hard combinators |
102
click to vote
GLVLSI
2005
IEEE
15 years 5 months ago
2005
IEEE
In this paper we develop a theory of equivalence checking (EC) and logic synthesis of circuits with a common specification (CS). We show that two combinational circuits N1, N2 have...
103
click to vote
ICCV
2005
IEEE
15 years 5 months ago
2005
IEEE
We address the problem of learning object class models and object segmentations from unannotated images. We introduce LOCUS (Learning Object Classes with Unsupervised Segmentation...
101
click to vote
IWPC
2005
IEEE
15 years 5 months ago
2005
IEEE
The fact that crosscutting concerns (aspects) cannot be well modularized in object oriented software is an impediment to program comprehension: the implementation of a concern is ...
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
A new paradigm is introduced for floorplanning any combination of fixed-shape and variable-shape blocks under tight fixedoutline area constraints and a wirelength objective. Dra...
SIGMETRICS
2005
ACM
15 years 5 months ago
2005
ACM
Multi-server and multi-queue architectures are common mechanisms used in a large variety of applications (call centers, Web services, computer systems). One of the major motivatio...