Sciweavers

2344 search results - page 171 / 469
» Dynamic Measurement of Polymorphism
Sort
View
86
Voted
IROS
2006
IEEE
81views Robotics» more  IROS 2006»
15 years 9 months ago
Improving Navigation Precision of Milling Operations in Surgical Robotics
Abstract – Current approaches to establish or improve precision of registration and execution in (surgical) robotics, especially milling applications, mostly aim at determining a...
Philipp J. Stolka, Dominik Henrich
103
Voted
IFIP
1994
Springer
15 years 7 months ago
Program Speedups in Theory and Practice
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
Neil D. Jones
DAM
2010
66views more  DAM 2010»
15 years 3 months ago
On parse trees and Myhill-Nerode-type tools for handling graphs of bounded rank-width
Rank-width is a structural graph measure introduced by Oum and Seymour and aimed at better handling of graphs of bounded clique-width. We propose a formal mathematical framework an...
Robert Ganian, Petr Hlinený
114
Voted
ICRA
2008
IEEE
152views Robotics» more  ICRA 2008»
15 years 10 months ago
Stabilization algorithm for a high speed car-like robot achieving steering maneuver
— This paper deals with design and implementation of a stabilization algorithm for a car like robot performing high speed turns. The control of such a kind of system is rather di...
Eric Lucet, Christophe Grand, Damien Sallé,...
191
Voted
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 9 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...