Sciweavers

5451 search results - page 226 / 1091
» On very high degrees
Sort
View
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
16 years 1 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
IROS
2009
IEEE
155views Robotics» more  IROS 2009»
16 years 1 months ago
Kinematic calibration of a parallel robot for small animal biopsies
— In biomedical research it is difficult to perceive tumors or cells and perform biopsies manually. Robotics technology can offer a reliable solution for accurate needle inserti...
Myun Joong Hwang, Ozkan Bebek, Fan Liang, Baowei F...
LICS
2009
IEEE
16 years 1 months ago
Substructural Operational Semantics as Ordered Logic Programming
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
Frank Pfenning, Robert J. Simmons
ICICS
2009
Springer
16 years 1 months ago
Biometric-Based Non-transferable Anonymous Credentials
This work explores the problem of using biometric data to achieve non-transferability of anonymous credentials; that is, sharing of anonymous credentials, which allow one to anonym...
Marina Blanton, William M. P. Hudelson
IDC
2009
Springer
16 years 1 months ago
A Case Study on Availability of Sensor Data in Agent Cooperation
Abstract Multi-agent cooperation can in several cases be used in order to mitigate problems relating to task sharing within physical processes. In this paper we apply agent based s...
Christian Johansson, Fredrik Wernstedt, Paul David...