866 search results - page 54 / 174 » Algorithms for Comparing Pedigree Graphs |
FMCO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—This paper provides a new iterative solution to the problem of the joint estimation of phase noise and residual carrier frequency offset in an orthogonal frequency division mult...
AMS
2005
Springer
14 years 2 months ago
2005
Springer
This paper presents a new approach for incremental 3D SLAM from segmented range images with unknown feature association. For feature and motion tracking, an any-time interpretation...
DNA
2004
Springer
14 years 2 months ago
2004
Springer
Most DNA computing algorithms for mathematical problems start with combinatorial generation of an initial pool. Several methods for initialpool generation have been proposed, inclu...
ICDAR
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper we describe work relating to classification of web documents using a graph-based model instead of the traditional vector-based model for document representation. We ...