Sciweavers

4935 search results - page 673 / 987
» An Adaptive Supersampling Method
Sort
View
ICRA
2003
IEEE
126views Robotics» more  ICRA 2003»
15 years 9 months ago
Synthetic gecko foot-hair micro/nano-structures for future wall-climbing robots
— This paper proposes techniques to fabricate synthetic gecko foot-hairs for future wall-climbing robots, and models for understanding the synthetic hair design issues. Two nanom...
Metin Sitti, Ronald S. Fearing
ISCAS
2003
IEEE
117views Hardware» more  ISCAS 2003»
15 years 9 months ago
Learning temporal correlations in biologically-inspired aVLSI
Temporally-asymmetric Hebbian learning is a class of algorithms motivated by data from recent neurophysiology experiments. While traditional Hebbian learning rules use mean firin...
Adria Bofill-i-Petit, Alan F. Murray
DAGM
2003
Springer
15 years 9 months ago
Pose Estimation of Cylindrical Fragments for Semi-automatic Bone Fracture Reduction
We present an approach for estimating the relative transformations between fragments of a broken cylindrical structure in 3d. To solve this problem, we first measure the orientatio...
Simon Winkelbach, Ralf Westphal, Thomas Gösli...
FM
2003
Springer
92views Formal Methods» more  FM 2003»
15 years 9 months ago
Composing Invariants
We explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invar...
Michel Charpentier
FMCO
2003
Springer
102views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Preserving Properties Under Change
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
Heike Wehrheim