3110 search results - page 185 / 622 » On the initialization of the DNMF algorithm |
153
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
We describe a hybrid planar image-based servo algorithm which, for a simplified planar convex rigid body, converges to a static goal for all initial conditions within the workspac...
158
click to vote
ACSD
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper makes the idea of memory shadowing [5] applicable to symbolic ternary simulation. Memory shadowing, an extension of Burch and Dill's pipeline verification method [...
156
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
For circuits where there may be latches with no reset line, we show how to replace some of them with combinational logic. All previous work in sequential optimization by latch rem...
196
click to vote
IFIP
1992
Springer
15 years 10 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
190
click to vote
CAIP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a new hybrid split-and-merge image segmentation method based on computational geometry and topology using persistent homology. The algorithm uses edge...