2585 search results - page 315 / 517 » computing 1999 |
142
click to vote
ICRA
2002
IEEE
15 years 9 months ago
2002
IEEE
We apply the auxiliary particle filter algorithm of Pitt and Shephard (1999) to the problem of robot localization. To deal with the high-dimensional sensor observations (images) ...
106
click to vote
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
—This paper presents an efficient method to check the equivalence of two Boolean functions under permutation of the variables. The problem is also known as Boolean matching. As ...
132
click to vote
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
141
click to vote
ASPDAC
1999
ACM
15 years 8 months ago
1999
ACM
A method is introduced for model order reduction of large circuits extracted from layout. The algorithm, which is based on balanced realization, can be used for reducing the order ...
134
click to vote
COMPGEOM
1999
ACM
15 years 8 months ago
1999
ACM
We propose a speed-up method for discrete-event simulations, including sweep-line or -plane techniques, requiring the repeated calculation of the times at which certain discrete e...