4035 search results - page 690 / 807 » Useless Actions Are Useful |
159
click to vote
USENIX
2003
15 years 8 months ago
2003
Trust management credentials directly authorize actions, rather than divide the authorization task into authentication and access control. Unlike traditional credentials, which bi...
175
click to vote
VCIP
2003
15 years 8 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....
171
click to vote
ICMAS
2000
15 years 8 months ago
2000
In this paper we focus on the problem of how infinite belief hierarchies can be represented and reasoned with in a computationally tractable way. When modeling nested beliefs one ...
202
click to vote
MVA
1998
15 years 8 months ago
1998
Current NASA plans call for extended year-long, multikilometer treks for the 2003 and 2005 Mars missions. A much greater amount of rover autonomy is required compared to the recen...
148
click to vote
KIC
2000
15 years 8 months ago
2000
: We present a framework that verifies and maintains the consistency between the representations of the form, function and behavior of mechatronic devices. These three aspects of t...