Sciweavers

3156 search results - page 130 / 632
» An address translation simulator
Sort
View
ICRA
2008
IEEE
131views Robotics» more  ICRA 2008»
15 years 8 months ago
New decoupled visual servoing scheme based on invariants from projection onto a sphere
— In this paper a new decoupled imaged-based control scheme is proposed from projection onto a unit sphere. This control scheme is based on moment invariants to 3D rotational mot...
Omar Tahri, François Chaumette, Youcef Mezo...
ICRA
2003
IEEE
105views Robotics» more  ICRA 2003»
15 years 7 months ago
A computer-aided probing strategy for workpiece localization
This paper presents an optimal planning problem for workpiece measurement. Two sequential optimization algorithms are introduced to find maximum determinant solutions. Then, base...
Zehnhua Xiong, Michael Yu Wang, Zexiang Li
ESOP
2001
Springer
15 years 6 months ago
Encoding Intensional Type Analysis
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
Stephanie Weirich
ECRTS
1998
IEEE
15 years 6 months ago
Tool-supported hierarchical design of distributed real-time systems
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
Henning Dierks, Josef Tapken
ICGI
1998
Springer
15 years 5 months ago
Meaning Helps Learning Syntax
In this paper, we propose a new framework for the computational learning of formal grammars with positive data. In this model, both syntactic and semantic information are taken int...
Isabelle Tellier