1453 search results - page 157 / 291 » State and history in operating systems |
188
click to vote
DLOG
2011
14 years 10 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...
157
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— Robotic manipulators on ships and platforms suffer from large inertial forces due to the non-inertial motion of the ship or platform. When operating in high sea state, operatio...
177
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— To realize the harmonious cooperation with the operator, the man-machine cooperative system must be designed so as to accommodate with the characteristics of the operator’s s...
159
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
—Current fully autonomous robots are unable to navigate effectively in visually complex environments due to limitations in sensing and cognition. Full teleoperation using current...
141
click to vote
CONCUR
2009
Springer
16 years 29 days ago
2009
Springer
Stuttering bisimulation is a well-known behavioural equivalence that preserves CTL-X, namely CTL without the next-time operator X. Correspondingly, the stuttering simulation preord...