478 search results - page 86 / 96 » Behavioral Specification of Real-Time Requirements |
ATAL
2003
Springer
14 years 22 days ago
2003
Springer
Endowing agents with “social rationality” [10, 12, 11] can aid overall efficiency in tasks where cooperation is beneficial to system level performance. However it is difficult...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
We contribute an approach for interactive policy learning through expert demonstration that allows an agent to actively request and effectively represent demonstration examples. I...
ACSAC
2004
IEEE
13 years 11 months ago
2004
IEEE
In most existing systems, the authorization check for system resource access is based on the user ID of the running processes. Such systems are vulnerable to password stealing/cra...
FC
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Starting from algebraic properties that enable guessing lowentropy secrets, we formalize guessing rules for symbolic verification. The rules are suited for both off-line ...
PETRA
2010
ACM
13 years 9 months ago
2010
ACM
We study the performance of three dynamic programming methods on music retrieval. The methods are designed for time series matching but can be directly applied to retrieval of mus...