1043 search results - page 142 / 209 » Using Function Generalization to Design a Cosequential Proce... |
114
Voted
ICAIL
2003
ACM
15 years 7 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
157
click to vote
AAAI
2012
13 years 4 months ago
2012
This paper addresses the problem of automated advice provision in settings that involve repeated interactions between people and computer agents. This problem arises in many real ...
107
click to vote
ESA
2007
Springer
15 years 8 months ago
2007
Springer
We study the online ad-auctions problem introduced by Mehta et. al. [15]. We design a (1 − 1/e)competitive (optimal) algorithm for the problem, which is based on a clean primal-...
132
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...
123
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
In automated trust negotiation (ATN), two parties exchange digitally signed credentials that contain attribute information to establish trust and make access control decisions. Be...