5216 search results - page 926 / 1044 » Planning as Model Checking |
122
Voted
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— As robots are gradually leaving highly structured factory environments and moving into human populated environments, they need to possess more complex cognitive abilities. Not ...
117
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— Lie group symmetry in a mechanical system can lead to a dimensional reduction in its dynamical equations. Typically, the symmetries that one exploits are intrinsic to the mecha...
126
click to vote
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— Emotion recognition and adequate reactions are a crucial part of human communication and hence should also be considered for interactions between humans and robots. In this pap...
123
Voted
ISBI
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, multi-modal Magnetic Resonance (MR) images are integrated into a tissue profile that aims at differentiating tumor components, edema and normal tissue. This is achi...
118
Voted
VR
2007
IEEE
15 years 9 months ago
2007
IEEE
Wildfires are a frequent summer-time concern for land managers and communities neighboring wildlands throughout the world. Computational simulations have been developed to help an...