1620 search results - page 186 / 324 » Testing Polymorphic Properties |
135
Voted
VTS
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a novel analog checker that adjusts dynamically the error threshold to the magnitude of its input signals. We demonstrate that this property is crucial for accurate con...
125
Voted
IMR
2003
Springer
15 years 10 months ago
2003
Springer
A local cell quality metric is introduced and used to construct a variational functional for a grid smoothing algorithm. A maximum principle is proved and the properties of the loc...
142
Voted
IPTPS
2003
Springer
15 years 10 months ago
2003
Springer
Considerable research effort has recently been devoted to the design of structured peer-to-peer overlays, a term we use to encompass Content-Addressable Networks (CANs), Distribut...
134
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper we present a new probabilistic feature-based approach to multi-hypothesis global localization and pose tracking. Hypotheses are generated using a constraintbased sea...
122
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a self-valuing learning technique which is capable of learning how to grasp unfamiliar objects and generalize the learned abilities. The learning system consists of two...