2546 search results - page 114 / 510 » In support of city exploration |
164
click to vote
ISPW
2005
IEEE
15 years 12 months ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
144
click to vote
AIED
2005
Springer
15 years 12 months ago
2005
Springer
This paper explores the problem of automatic and semi-automatic coding of on-line test items with a skill coding that allows the assessment to occur at a level that is both indicat...
160
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
160
click to vote
ISCAS
2002
IEEE
15 years 11 months ago
2002
IEEE
Bluetooth technology offers the potential for low-cost, broadband wireless access for a range of mobile and portable devices. It can thus provide for ubiquitous computing across a...
212
click to vote
HICSS
2000
IEEE
15 years 10 months ago
2000
IEEE
Computer mediated communication (CMC) systems are providing new ways to communicate. Yet many text-based CMC systems do not represent the invisible, interactive practices, such as...