3387 search results - page 241 / 678 » Model-Checking for Real-Time Systems |
193
Voted
MICCAI
2006
Springer
16 years 8 months ago
2006
Springer
3D ultrasound (US) is an emerging new imaging technology that appeals to more and more applications in intraoperative guidance of computer-assisted surgery. In a freehand US imagin...
227
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Markerless tracking of human pose is a hard yet relevant problem. In this paper, we derive an efficient filtering algorithm for tracking human pose at 4-10 frames per second using...
225
Voted
EMS
2009
IEEE
16 years 1 months ago
2009
IEEE
—The use of wireless sensor networks is rapidly growing in various types of applications that benefit from spatially distributed data collection. Some of these applications, suc...
195
click to vote
RTSS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Real-time data services are needed in data-intensive real-time applications such as e-commerce or traffic control. However, it is challenging to support real-time data service...
210
Voted
ICEBE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Service-oriented architecture (SOA) provides the flexibility of dynamically composing business processes in enterprise computing. However, they must be enhanced to support real...