4106 search results - page 23 / 822 » A Computational Model for Metric Spaces |
DAC
1998
ACM
13 years 12 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
14 years 2 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...
ICMCS
2007
IEEE
14 years 2 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...
CAISE
2007
Springer
14 years 1 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
14 years 1 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...