3392 search results - page 499 / 679 » Using Knowledge Representation to Understand Interactive Sys... |
134
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
134
click to vote
IJCAI
1993
15 years 5 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
129
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
ion in model checking multi-agent systems Mika Cohen Department of Computing Imperial College London London, UK Mads Dam Access Linnaeus Center Royal Institute of Technology Stockh...
148
click to vote
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
This paper presents our progress on OpenVL - a novel software architecture to address efficiency through facilitating hardware acceleration, reusability and scalability for comput...
178
click to vote
WOMPAT
2004
Springer
15 years 9 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...