3387 search results - page 593 / 678 » Model-Checking for Real-Time Systems |
AAAI
2010
13 years 10 months ago
2010
Activity recognition based on data from mobile wearable devices is becoming an important application area for machine learning. We propose a novel approach based on a combination ...
APVIS
2010
13 years 10 months ago
2010
With the rapid development in graphics hardware and volume rendering techniques, many volumetric datasets can now be rendered in real time on a standard PC equipped with a commodi...
VCIP
2003
13 years 10 months ago
2003
Stroke is a major cause of disability and health care expenditure around the world. Existing stroke rehabilitation methods can be effective but are costly and need to be improved....
CCGRID
2010
IEEE
13 years 10 months ago
2010
IEEE
Geo-sciences involve large-scale parallel models, high resolution real time data from highly asynchronous and heterogeneous sensor networks and instruments, and complex analysis a...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Due to the flexibility and adaptability of human, manual handling work is still very important in industry, especially for assembly and maintenance work. Well-designed work operat...