8917 search results - page 476 / 1784 » Abstraction in Algorithm Animation |
179
click to vote
ICCSA
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We demonstrate a connection between a regular triangulation and a constrained Delaunay triangulation in 2D. We propose an algorithm for edge enforcement in the constraine...
163
click to vote
ICRA
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract — In [13], a new algorithm was proposed for efficiently solving the simultaneous localization and mapping (SLAM) problem. In this paper, we extend this algorithm to han...
174
Voted
TPHOL
2003
IEEE
16 years 4 days ago
2003
IEEE
Abstract. Model checking and theorem proving are two complementary approaches to formal verification. In this paper we show how binary decision diagram (BDD) based symbolic model ...
147
click to vote
AAECC
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Cyclotomic constructions are given for several infinite families of even length binary sequences which have low negaperiodic autocorrelation. It appears that two of the ...
154
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...