4290 search results - page 791 / 858 » Formal Approaches to Teamwork |
158
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Efficacy and Sustainability of a Telerehabilitation Program Sustainability and appropriateness of care are important components for healthcare systems as they begin integrating te...
167
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— This paper presents a general approach to specify and execute complex robot tasks considering uncertain environments. Robot tasks are defined by a precise definition of socal...
180
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Often, data used in on-line decision making (for example, in determining how to react to changes in process behavior, traffic flow control, etc.) is dynamic in nature and hence ...
168
click to vote
PPOPP
2003
ACM
15 years 11 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
183
click to vote
SIGIR
2003
ACM
15 years 11 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...