2634 search results - page 43 / 527 » Faster Than Uppaal |
ICDM
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper presents interpretations for association rules. It first introduces Pawlak’s method, and the corresponding algorithm of finding decision rules (a kind of association ...
ISCAS
2003
IEEE
14 years 2 months ago
2003
IEEE
We present an equation-based transistor size optimizer that minimizes delay of custom circuits. Our method uses static timing analysis to find the critical paths and numerical met...
ECCV
2010
Springer
14 years 1 months ago
2010
Springer
We present a novel similarity measure for bag-of-words type large scale image retrieval. The similarity function is learned in an unsupervised manner, requires no extra space over ...
GLVLSI
1998
IEEE
14 years 1 months ago
1998
IEEE
Interval arithmetic provides an e cient method for monitoring and controlling errors in numerical calculations. However, existing software packages for interval arithmetic are oft...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we present a framework for minimum distance computations that allows efficient solution of minimum distance queries on a variety of surface representations, includin...