535 search results - page 6 / 107 » Insertion and Expansion Operations for |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The M-tree is a paged, dynamically balanced metric access method that responds gracefully to the insertion of new objects. To date, no algorithm has been published for the corresp...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— Angioplasty is a minimally invasive procedure wherein a catheter (a thermoplastic hollow wire) is inserted into the femoral artery and guided till it reaches a blockage in the ...
ICRA
1994
IEEE
14 years 1 months ago
1994
IEEE
Peg-in-hole insertion is not only a longstanding problem in robotics but the most common automated mechanical assembly task [10]. In this paper we present a high precision, self-c...
CADE
2005
Springer
14 years 10 months ago
2005
Springer
Abstract. We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compac...
COCOON
2003
Springer
14 years 3 months ago
2003
Springer
As more and more genomes are sequenced, evolutionary biologists are becoming increasingly interested in evolution at the level of whole genomes, in scenarios in which the genome ev...