2086 search results - page 147 / 418 » Mathematical Theory Exploration |
114
Voted
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
—In this work, we explore the mechanical behavior of gecko hairs by means of macromodels. The macromodel has four spatular hairs operating by magnetic forces instead of van der W...
115
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
- The two dominant forms of SLAM are based on Extended Kalman Filtering and Consistent Pose Estimation. We show that these are particular subsets of a more general view of the SLAM...
115
Voted
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper explores the role of data analysis methods to support system-level designers in characterising the performance of embedded applications. In particular, we address the p...
127
Voted
IMPERIAL
1994
15 years 7 months ago
1994
The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who...
146
Voted
SIGCSE
1991
ACM
15 years 7 months ago
1991
ACM
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...