8917 search results - page 1266 / 1784 » Abstraction in Algorithm Animation |
183
click to vote
TACAS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
215
click to vote
WABI
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Haplotype inference problem asks for a set of haplotypes explaining a given set of genotypes. Popular software tools for haplotype inference (e.g., PHASE, HAPLOTYPER) as ...
177
Voted
WDAG
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. A MAC protocol specifies how nodes in a sensor network access a shared communication channel. Desired properties of such MAC protocol are: it should be distributed and c...
177
click to vote
ICRA
2003
IEEE
16 years 9 days ago
2003
IEEE
Abstract— This paper describes Atlas, a hybrid metrical/topological approach to SLAM that achieves efficient mapping of large-scale environments. The representation is a graph o...
149
click to vote
ICRA
2003
IEEE
16 years 9 days ago
2003
IEEE
Abstract— This paper addresses the problem of capturing an arbitrary convex object P in the plane with three congruent disc-shaped robots. Given two stationary robots in contact ...