1209 search results - page 51 / 242 » New Robotics: Design Principles for Intelligent Systems |
102
Voted
AIPS
1994
15 years 4 months ago
1994
Autonomousmobile robots need to detect potential failures reliably and react appropriately. Dueto uncertainties about the robots and their environment,it is extremelydifficult to ...
133
click to vote
TPHOL
2009
IEEE
15 years 10 months ago
2009
IEEE
A new logic is posited for the widely used HOL theorem prover, as an extension of the existing higher order logic of the HOL4 system. The logic is extended to three levels, adding ...
136
Voted
ICAC
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...
133
Voted
ISER
2000
Springer
15 years 7 months ago
2000
Springer
: The growing number of robotics application fields, mainly in services, has led to the increase of new needs as well as the development of new facilities for teleoperation. Resear...
LFCS
1997
Springer
15 years 7 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...