3575 search results - page 30 / 715 » Presentations of computably enumerable reals |
166
click to vote
SOFSEM
2010
Springer
16 years 2 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
141
Voted
IPPS
2008
IEEE
16 years 14 days ago
2008
IEEE
This paper presents a seed-based algorithm for intensive DNA sequence comparison. The novelty comes from the way seeds are used to efficiently generate small ungapped alignments ...
170
click to vote
ICRA
2005
IEEE
15 years 11 months ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
178
click to vote
ECCV
2010
Springer
15 years 11 months ago
2010
Springer
As it has been noted several times in literature, the difficult part of autocalibration efforts resides in the structural non-linearity of the search for the plane at infinity. I...
178
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The main goal of our work is to formally prove the correctness of the key commands of the SCHUR software, an interactive program for calculating with characters of Lie gr...