9110 search results - page 361 / 1822 » Formally-Based Design Evaluation |
165
click to vote
AROBOTS
2008
15 years 6 months ago
2008
Many robotics tasks require a robot to share the same workspace with humans. In such settings, it is important that the robot performs in such a way that does not cause distress t...
171
click to vote
NETWORK
2008
15 years 6 months ago
2008
IEEE 802.16 mesh mode defines three types of resource scheduling: coordinated centralized, coordinated distributed, and uncoordinated distributed. While the standard defines the r...
181
click to vote
IAJIT
2010
15 years 5 months ago
2010
: A new code sign implementation of vector median rational hybrid filter based on efficient hardware/software implementation is introduced and applied to colour image filtering pro...
181
click to vote
VR
2010
IEEE
15 years 5 months ago
2010
IEEE
Children with autism show substantial benefits from rigorous physical activity, however it is often difficult to motivate these individuals to exercise due to their usually sede...
167
click to vote
ICUMT
2009
15 years 4 months ago
2009
Abstract--A new approach to the design of wireless data broadcasting systems is introduced. The proposed approach is based on the mathematical analysis of the aforementioned system...