2152 search results - page 288 / 431 » On Automating the Calculus of Relations |
106
Voted
ICIP
2009
IEEE
16 years 1 months ago
2009
IEEE
We propose a fully automated variation of the GrabCut technique for segmenting comparatively simple images with little variation in background colour and relatively high contrast ...
88
Voted
DAC
1999
ACM
16 years 1 months ago
1999
ACM
It is generally believed that there will be little more variety in CPU architectures, and thus the design of Instruction-set Architectures (ISAs) will have no role in the future o...
122
click to vote
DAC
1999
ACM
16 years 1 months ago
1999
ACM
We present a novel approach that minimizes the power consumption of embedded core-based systems through hardware/software partitioning. Our approach is based on the idea of mapping...
77
Voted
DAC
2000
ACM
16 years 1 months ago
2000
ACM
Due to the large die sizes and tight relative clock skew margins, the impact of interconnect manufacturing variations on the clock skew in today's gigahertz microprocessors c...
100
click to vote
DAC
2000
ACM
16 years 1 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...