4106 search results - page 23 / 822 » A Computational Model for Metric Spaces |
85
Voted
DAC
1998
ACM
15 years 3 months ago
1998
ACM
—Functional simulation is still the primary workhorse for verifying the functional correctness of hardware designs. Functional verification is necessarily incomplete because it i...
SGAI
2009
Springer
15 years 5 months ago
2009
Springer
The decision which hardware platform to use for a certain application is an important problem in computer architecture. This paper reports on a study where a data-mining approach i...
63
Voted
ICMCS
2007
IEEE
15 years 5 months ago
2007
IEEE
In this paper, we propose power efficient motion estimation (ME) using multiple imprecise sum absolute difference (SAD) metric computations. We extend recent work in [18] by prov...
80
Voted
CAISE
2007
Springer
15 years 5 months ago
2007
Springer
Little research has been conducted so far on causes for errors in business process models. In this paper we investigate on how mainly domain independent factors such as the size or...
FCT
2005
Springer
15 years 4 months ago
2005
Springer
In this paper we study the interplay between metric and order completeness of semantic domains equipped with generalised distances. We prove that for bounded complete posets direct...